src/Doc/System/Sessions.thy
8 months ago wenzelm 2019-02-15 clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; tuned messages;
8 months ago wenzelm 2019-01-30 discontinued obsolete option "checkpoint";
9 months ago wenzelm 2019-01-16 support pruning of export names;
9 months ago wenzelm 2019-01-06 proper example for inner syntax, not name;
9 months ago wenzelm 2019-01-06 support for isabelle update -u path_cartouches;
9 months ago wenzelm 2019-01-06 clarified documentation;
9 months ago wenzelm 2019-01-06 redundant (see isabelle.Dump.make_options);
9 months ago wenzelm 2019-01-05 documentation on "isabelle update";
9 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
13 months ago wenzelm 2018-08-25 more uniform cartouche syntax;
14 months ago wenzelm 2018-08-01 isabelle build options -c -x -B refer to imports_graph;
15 months ago wenzelm 2018-06-27 clarified settings -- avoid hard-wired directories; tuned documentation;
15 months ago wenzelm 2018-06-26 tuned;
15 months ago wenzelm 2018-06-26 updated documentation;
16 months ago wenzelm 2018-06-01 documentation for "isabelle dump";
16 months ago wenzelm 2018-05-29 clarified option -O: avoid conflict with build/dump option -D;
16 months ago wenzelm 2018-05-26 support 'export_files' in session ROOT;
16 months ago wenzelm 2018-05-26 support multiple patterns;
17 months ago wenzelm 2018-05-19 clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
17 months ago wenzelm 2018-05-11 guard result exports via export_pattern -- avoid bombing client via huge blobs;
17 months ago wenzelm 2018-05-08 command-line tool "isabelle export"; more documentation; tuned;
20 months ago Lars Hupel 2018-02-12 corrected some URLs
22 months ago wenzelm 2017-12-05 more documentation;
23 months ago wenzelm 2017-11-03 clarified situation of global theory names;
23 months ago wenzelm 2017-11-01 tuned diagram;
23 months ago wenzelm 2017-11-01 clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
24 months ago wenzelm 2017-10-25 more documentation;
2017-10-12 wenzelm 2017-10-12 more informative Imports.Report with actual session imports (minimized);
2017-10-11 wenzelm 2017-10-11 added isablle build option -f;
2017-10-02 wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
2017-10-02 wenzelm 2017-10-02 more documentation;
2017-10-02 wenzelm 2017-10-02 option -S for "isabelle build";
2017-10-01 wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
2017-09-17 wenzelm 2017-09-17 more documentation; tuned message;
2017-08-31 wenzelm 2017-08-31 tuned;
2017-04-18 wenzelm 2017-04-18 exclude theories from other sessions; clarified modules;
2017-04-18 wenzelm 2017-04-18 some documentation;
2017-04-04 wenzelm 2017-04-04 tuned syntax; some official documentation;
2016-10-19 wenzelm 2016-10-19 added system option "profiling";
2016-10-16 wenzelm 2016-10-16 isabelle build -N;
2016-09-08 wenzelm 2016-09-08 option "checkpoint" helps to fine-tune global heap space management;
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-08-11 wenzelm 2016-08-11 clarified antiquotations;
2016-04-03 wenzelm 2016-04-03 renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
2016-03-11 wenzelm 2016-03-11 tuned messages;
2016-02-13 wenzelm 2016-02-13 practically obsolete;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-08 wenzelm 2015-11-08 added option timeout_scale;
2015-11-04 wenzelm 2015-11-04 tuned whitespace;
2015-11-04 wenzelm 2015-11-04 more antiquotations;
2015-11-04 wenzelm 2015-11-04 tuned;
2015-10-22 wenzelm 2015-10-22 more control symbols; tuned;
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
2015-10-18 wenzelm 2015-10-18 more control symbols;
2015-10-16 wenzelm 2015-10-16 Markdown support in document text;
2015-10-14 wenzelm 2015-10-14 more symbols;
2015-10-12 wenzelm 2015-10-12 more antiquotations;
2015-10-12 wenzelm 2015-10-12 @{verbatim [display]} supersedes old alltt/ttbox;
2015-10-12 wenzelm 2015-10-12 more symbols;
2015-04-17 wenzelm 2015-04-17 allow to exclude session groups;