| 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
|