| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
| Sun, 08 Nov 2015 14:41:07 +0100 |
wenzelm |
added option timeout_scale;
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 20:18:46 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 18:32:47 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 14:40:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 22 Oct 2015 21:16:49 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2015 23:53:40 +0200 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 22:57:09 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| Fri, 16 Oct 2015 14:53:26 +0200 |
wenzelm |
Markdown support in document text;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 15:10:32 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 20:31:34 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 18:18:48 +0200 |
wenzelm |
@{verbatim [display]} supersedes old alltt/ttbox;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 17:11:17 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Fri, 17 Apr 2015 11:28:57 +0200 |
wenzelm |
allow to exclude session groups;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2015 16:24:38 +0200 |
wenzelm |
added isabelle build option -x, to exclude sessions;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2015 15:41:08 +0200 |
wenzelm |
added isabelle build option -k, for fast off-line checking of theory sources;
|
file |
diff |
annotate
|
| Sun, 25 Jan 2015 22:11:06 +0100 |
wenzelm |
discontinued obsolete option "document_graph";
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 17:31:01 +0100 |
wenzelm |
clarified keyword categories;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
| 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
|