| Thu, 05 Jan 2023 22:30:20 +0100 |
wenzelm |
tuned options --- avoid confusion with "isabelle build -b";
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 21:14:53 +0100 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2023 20:44:10 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 16:29:26 +0200 |
wenzelm |
more examples;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 11:56:38 +0200 |
wenzelm |
let rsync re-use ssh connection via control path;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 10:44:47 +0200 |
wenzelm |
clarified command-line;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 09:59:08 +0200 |
wenzelm |
clarified default: do not override port from ssh_config, which could be different from 22;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 19:37:33 +0200 |
wenzelm |
more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 16:12:52 +0200 |
wenzelm |
more command-line options;
|
file |
diff |
annotate
|
| Thu, 08 Sep 2022 19:32:26 +0200 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 17:46:58 +0200 |
wenzelm |
include groups from 'chapter_definition' in session info, based on the state of chapter_defs after processing all ROOT files (thus the declaration order does not matter);
|
file |
diff |
annotate
|
| Sat, 27 Aug 2022 12:18:49 +0200 |
wenzelm |
clarified syntax: more uniform;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 21:28:26 +0200 |
wenzelm |
support 'chapter_definition' with description for presentation purposes;
|
file |
diff |
annotate
|
| Mon, 13 Jun 2022 11:48:46 +0200 |
wenzelm |
clarified options of "isabelle hg_sync" vs. "isabelle sync";
|
file |
diff |
annotate
|
| Mon, 13 Jun 2022 11:35:00 +0200 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
| Mon, 13 Jun 2022 11:31:59 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Mon, 13 Jun 2022 11:10:39 +0200 |
wenzelm |
clarified document structure;
|
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
|
| 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
|