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