src/Doc/System/Presentation.thy
4 months ago wenzelm 2017-12-06 more default tags;
4 months ago wenzelm 2017-12-05 explicit tag for document commands: avoid implicit use of document_tags;
5 months ago wenzelm 2017-11-13 init Mercurial repository for the generated session files;
5 months ago wenzelm 2017-11-11 more options for "isabelle mkroot"; updated documentation;
5 months ago wenzelm 2017-11-11 adapted to changed ROOT syntax (see 13857f49d215); discontinued pointless option -d: always enabled;
20 months ago wenzelm 2016-08-12 more symbols;
20 months ago wenzelm 2016-08-11 clarified antiquotations;
2016-03-10 wenzelm 2016-03-10 isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual;
2015-12-31 wenzelm 2015-12-31 discontinued documentation of old browser; tuned;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-04 wenzelm 2015-11-04 tuned whitespace;
2015-10-22 wenzelm 2015-10-22 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-12 wenzelm 2015-10-12 @{verbatim [display]} supersedes old alltt/ttbox;
2015-10-12 wenzelm 2015-10-12 more symbols;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-04-06 wenzelm 2014-04-06 renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
2014-01-06 wenzelm 2014-01-06 more formal ISABELLE_BROWSER_INFO;
2013-07-27 wenzelm 2013-07-27 discontinued historic document formats;
2013-07-27 wenzelm 2013-07-27 tuned;
2013-03-13 wenzelm 2013-03-13 sessions may be organized via 'chapter' in ROOT;
2013-01-26 wenzelm 2013-01-26 tuned;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;