| 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
|
| Sun, 21 Nov 2021 17:42:11 +0100 |
wenzelm |
clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true";
|
file |
diff |
annotate
|
| Mon, 08 Nov 2021 16:48:42 +0100 |
wenzelm |
discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;
|
file |
diff |
annotate
|
| Tue, 08 Jun 2021 23:23:59 +0200 |
wenzelm |
clarified documentation: tracing messages are not shown here;
|
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
|
| Mon, 24 May 2021 11:58:06 +0200 |
wenzelm |
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
|
file |
diff |
annotate
|
| Sun, 23 May 2021 22:46:30 +0200 |
wenzelm |
syslog option for "isabelle build";
|
file |
diff |
annotate
|
| Wed, 19 May 2021 13:19:37 +0200 |
wenzelm |
explicit option document_bibliography;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 22:02:21 +0200 |
wenzelm |
option document_preprocessor;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2020 15:11:06 +0100 |
wenzelm |
clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 22:15:16 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 18:38:26 +0100 |
wenzelm |
NEWS and documentation for "isabelle log";
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 07:57:50 +0000 |
haftmann |
typo
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 13:16:08 +0100 |
wenzelm |
more explicit presentation directory;
|
file |
diff |
annotate
|
| Sat, 14 Nov 2020 12:55:05 +0100 |
wenzelm |
official support for document theories from other sessions;
|
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
|
| Thu, 29 Oct 2020 10:03:03 +0000 |
haftmann |
moved most material from session HOL-Word to Word_Lib in the AFP
|
file |
diff |
annotate
|
| Wed, 01 Jul 2020 21:14:04 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:58:42 +0200 |
wenzelm |
clarified signature --- fit within limit of 22 arguments;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 22:37:22 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Tue, 28 Apr 2020 21:47:22 +0200 |
wenzelm |
added "isabelle sessions" tool;
|
file |
diff |
annotate
|
| Tue, 28 Apr 2020 19:50:36 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 19:58:38 +0200 |
wenzelm |
clarified "isabelle update" options -- more like "isabelle dump";
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 19:37:12 +0200 |
wenzelm |
clarified treatment of base logic image;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 19:14:03 +0200 |
wenzelm |
simplified options: always split;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 17:19:08 +0200 |
wenzelm |
split into standard partitions, for improved scalability;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 13:21:53 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Mon, 07 Oct 2019 11:35:43 +0200 |
wenzelm |
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 13:23:49 +0200 |
wenzelm |
added dump_options: disabled by default;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 14:22:47 +0200 |
wenzelm |
discontinued obsolete "isabelle imports" and all_known data;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2019 16:06:10 +0200 |
wenzelm |
disallow overlapping session directories;
|
file |
diff |
annotate
|
| Sun, 08 Sep 2019 17:49:35 +0200 |
wenzelm |
clarified syntax: 'directories' and 'theories' belong together;
|
file |
diff |
annotate
|
| Sun, 08 Sep 2019 17:15:46 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Fri, 15 Feb 2019 17:00:21 +0100 |
wenzelm |
clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 13:25:33 +0100 |
wenzelm |
discontinued obsolete option "checkpoint";
|
file |
diff |
annotate
|
| Wed, 16 Jan 2019 17:55:26 +0100 |
wenzelm |
support pruning of export names;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 16:27:52 +0100 |
wenzelm |
proper example for inner syntax, not name;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 12:42:26 +0100 |
wenzelm |
support for isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 12:33:45 +0100 |
wenzelm |
clarified documentation;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 12:01:09 +0100 |
wenzelm |
redundant (see isabelle.Dump.make_options);
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 20:12:02 +0100 |
wenzelm |
documentation on "isabelle update";
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sat, 25 Aug 2018 20:48:16 +0200 |
wenzelm |
more uniform cartouche syntax;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2018 20:58:41 +0200 |
wenzelm |
isabelle build options -c -x -B refer to imports_graph;
|
file |
diff |
annotate
|
| Wed, 27 Jun 2018 20:31:22 +0200 |
wenzelm |
clarified settings -- avoid hard-wired directories;
|
file |
diff |
annotate
|
| Tue, 26 Jun 2018 19:17:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Jun 2018 19:16:14 +0200 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Fri, 01 Jun 2018 15:53:35 +0200 |
wenzelm |
documentation for "isabelle dump";
|
file |
diff |
annotate
|
| Tue, 29 May 2018 13:45:51 +0200 |
wenzelm |
clarified option -O: avoid conflict with build/dump option -D;
|
file |
diff |
annotate
|
| Sat, 26 May 2018 19:40:02 +0200 |
wenzelm |
support 'export_files' in session ROOT;
|
file |
diff |
annotate
|
| Sat, 26 May 2018 17:37:15 +0200 |
wenzelm |
support multiple patterns;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 15:45:45 +0200 |
wenzelm |
clarified store directories;
|
file |
diff |
annotate
|
| Fri, 11 May 2018 20:35:29 +0200 |
wenzelm |
guard result exports via export_pattern -- avoid bombing client via huge blobs;
|
file |
diff |
annotate
|
| Tue, 08 May 2018 20:24:08 +0200 |
wenzelm |
command-line tool "isabelle export";
|
file |
diff |
annotate
|
| Mon, 12 Feb 2018 14:13:54 +0100 |
Lars Hupel |
corrected some URLs
|
file |
diff |
annotate
|
| Tue, 05 Dec 2017 16:03:58 +0100 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Fri, 03 Nov 2017 13:58:20 +0100 |
wenzelm |
clarified situation of global theory names;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 12:31:53 +0100 |
wenzelm |
tuned diagram;
|
file |
diff |
annotate
|