| Tue, 26 Jul 2022 20:35:42 +0200 |
wenzelm |
update documentation, following 21c1f82e7f5d;
|
file |
diff |
annotate
|
| Sun, 27 Feb 2022 20:00:23 +0100 |
wenzelm |
misc tuning based on comments by Heiko Eißfeldt;
|
file |
diff |
annotate
|
| Fri, 03 Dec 2021 15:11:16 +0100 |
wenzelm |
more documentation about document build options;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 11:42:05 +0200 |
wenzelm |
allow system option short form NAME for NAME=true for type string, not just bool;
|
file |
diff |
annotate
|
| Wed, 19 May 2021 13:00:42 +0200 |
wenzelm |
discontinued obsolete "isabelle latex";
|
file |
diff |
annotate
|
| Tue, 18 May 2021 15:46:03 +0200 |
wenzelm |
clarified treatment of Isabelle .sty files;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 17:12:17 +0100 |
wenzelm |
clarified document output;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 21:34:13 +0100 |
wenzelm |
store documents within session database, instead of browser_info directory;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:41:02 +0100 |
wenzelm |
more robust: ensure coherence wrt. build database;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 13:16:08 +0100 |
wenzelm |
more explicit presentation directory;
|
file |
diff |
annotate
|
| Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
| Sat, 26 Sep 2020 14:29:46 +0200 |
wenzelm |
discontinued obsolete DVI document format and related settings/tools;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 11:12:34 +0100 |
haftmann |
spelling
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 18:32:59 +0100 |
wenzelm |
discontinued 'display_drafts' command;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 21:53:07 +0100 |
wenzelm |
added document antiquotation @{session name};
|
file |
diff |
annotate
|
| Mon, 11 Dec 2017 18:39:24 +0100 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2017 18:31:41 +0100 |
wenzelm |
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 21:30:26 +0100 |
wenzelm |
more default tags;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2017 15:55:14 +0100 |
wenzelm |
explicit tag for document commands: avoid implicit use of document_tags;
|
file |
diff |
annotate
|
| Mon, 13 Nov 2017 15:07:03 +0100 |
wenzelm |
init Mercurial repository for the generated session files;
|
file |
diff |
annotate
|
| Sat, 11 Nov 2017 15:45:12 +0100 |
wenzelm |
more options for "isabelle mkroot";
|
file |
diff |
annotate
|
| Sat, 11 Nov 2017 14:55:30 +0100 |
wenzelm |
adapted to changed ROOT syntax (see 13857f49d215);
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2016 18:26:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Thu, 31 Dec 2015 19:53:19 +0100 |
wenzelm |
discontinued documentation of old browser;
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 20:18:46 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 22 Oct 2015 21:34:28 +0200 |
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
|
| 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
|
| 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
|
| Sun, 06 Apr 2014 16:59:41 +0200 |
wenzelm |
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
|
file |
diff |
annotate
|
| Mon, 06 Jan 2014 17:47:44 +0100 |
wenzelm |
more formal ISABELLE_BROWSER_INFO;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2013 22:20:25 +0200 |
wenzelm |
discontinued historic document formats;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2013 21:50:30 +0200 |
wenzelm |
tuned;
|
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 12:45:32 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|