src/Doc/System/Sessions.thy
21 months ago wenzelm 2017-11-03 clarified situation of global theory names;
21 months ago wenzelm 2017-11-01 tuned diagram;
21 months ago wenzelm 2017-11-01 clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
22 months ago wenzelm 2017-10-25 more documentation;
22 months ago wenzelm 2017-10-12 more informative Imports.Report with actual session imports (minimized);
22 months ago wenzelm 2017-10-11 added isablle build option -f;
22 months ago wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
22 months ago wenzelm 2017-10-02 more documentation;
22 months ago wenzelm 2017-10-02 option -S for "isabelle build";
22 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
23 months ago wenzelm 2017-09-17 more documentation; tuned message;
23 months ago 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;
2015-04-01 wenzelm 2015-04-01 added isabelle build option -x, to exclude sessions;
2015-04-01 wenzelm 2015-04-01 added isabelle build option -k, for fast off-line checking of theory sources;
2015-01-25 wenzelm 2015-01-25 discontinued obsolete option "document_graph";
2014-11-07 wenzelm 2014-11-07 clarified keyword categories; tuned;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-06-09 wenzelm 2014-06-09 more on command-line invocation -- moved material from system manual;
2014-04-16 wenzelm 2014-04-16 tuned spelling;
2014-04-11 wenzelm 2014-04-11 explicit 'document_files' in session ROOT specifications; clarified Isabelle_System.copy_file(_base): preserve file-attributes and local directory hierarchy;
2014-01-22 wenzelm 2014-01-22 prefer rail cartouche -- avoid back-slashed quotes; proper documentation of \<newline> syntax;
2013-12-09 wenzelm 2013-12-09 provide @{file_unchecked} in Isabelle/Pure;
2013-12-09 wenzelm 2013-12-09 tuned;
2013-12-09 wenzelm 2013-12-09 more antiquotations;
2013-11-16 wenzelm 2013-11-16 updated example;
2013-10-29 wenzelm 2013-10-29 clarified isabelle options -l;
2013-09-10 wenzelm 2013-09-10 discontinued obsolete command-line tool "isabelle build_dialog";
2013-07-27 wenzelm 2013-07-27 support isabelle options -g;
2013-05-17 wenzelm 2013-05-17 added isabelle-process option -o;
2013-03-13 wenzelm 2013-03-13 sessions may be organized via 'chapter' in ROOT;
2013-01-26 wenzelm 2013-01-26 some explanations of important build options; tuned;
2012-12-15 wenzelm 2012-12-15 clarified build_dialog command line;
2012-12-14 wenzelm 2012-12-14 clarified "isabelle options" command line, to make it more close to "isabelle components";
2012-12-06 wenzelm 2012-12-06 documentation for isabelle build_dialog and its implicit use in isabelle jedit;