src/Doc/System/Sessions.thy
Sun, 05 Oct 2014 22:46:13 +0200 wenzelm prefer @{cite} antiquotation;
Mon, 09 Jun 2014 20:41:00 +0200 wenzelm more on command-line invocation -- moved material from system manual;
Wed, 16 Apr 2014 13:35:49 +0200 wenzelm tuned spelling;
Fri, 11 Apr 2014 11:52:28 +0200 wenzelm explicit 'document_files' in session ROOT specifications;
Wed, 22 Jan 2014 17:02:05 +0100 wenzelm prefer rail cartouche -- avoid back-slashed quotes;
Mon, 09 Dec 2013 20:16:12 +0100 wenzelm provide @{file_unchecked} in Isabelle/Pure;
Mon, 09 Dec 2013 12:27:18 +0100 wenzelm tuned;
Mon, 09 Dec 2013 12:22:23 +0100 wenzelm more antiquotations;
Sat, 16 Nov 2013 13:07:38 +0100 wenzelm updated example;
Tue, 29 Oct 2013 16:52:25 +0100 wenzelm clarified isabelle options -l;
Tue, 10 Sep 2013 16:09:33 +0200 wenzelm discontinued obsolete command-line tool "isabelle build_dialog";
Sat, 27 Jul 2013 16:59:25 +0200 wenzelm support isabelle options -g;
Fri, 17 May 2013 19:04:52 +0200 wenzelm added isabelle-process option -o;
Wed, 13 Mar 2013 15:12:14 +0100 wenzelm sessions may be organized via 'chapter' in ROOT;
Sat, 26 Jan 2013 13:43:37 +0100 wenzelm some explanations of important build options;
Sat, 15 Dec 2012 13:14:55 +0100 wenzelm clarified build_dialog command line;
Fri, 14 Dec 2012 16:45:41 +0100 wenzelm clarified "isabelle options" command line, to make it more close to "isabelle components";
Thu, 06 Dec 2012 21:46:20 +0100 wenzelm documentation for isabelle build_dialog and its implicit use in isabelle jedit;
Tue, 04 Sep 2012 20:45:43 +0200 wenzelm added build option -R;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip