Sat, 08 Apr 2023 19:32:09 +0200 |
wenzelm |
use "rsync --secluded-args" by default, discontinue obsolete option -P of sync tools;
|
file |
diff |
annotate
|
Sat, 08 Apr 2023 16:37:54 +0200 |
wenzelm |
clarified underlying SSH session of "isabelle hg_sync" and "isabelle sync";
|
file |
diff |
annotate
|
Tue, 14 Mar 2023 10:05:57 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Sat, 11 Mar 2023 14:49:53 +0100 |
wenzelm |
support "isabelle options -l -t TAGS";
|
file |
diff |
annotate
|
Tue, 07 Mar 2023 23:32:59 +0100 |
wenzelm |
proper tool name (amending cbb49fe8e5a2);
|
file |
diff |
annotate
|
Tue, 07 Mar 2023 22:17:47 +0100 |
wenzelm |
renamed "isabelle log" to "isabelle build_log";
|
file |
diff |
annotate
|
Tue, 07 Mar 2023 10:57:50 +0100 |
wenzelm |
clarified terminology of "session build database", while "build database" is the one underlying Build_Process;
|
file |
diff |
annotate
|
Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
Sun, 15 Jan 2023 12:13:19 +0100 |
wenzelm |
more index entries;
|
file |
diff |
annotate
|
Sun, 15 Jan 2023 12:11:25 +0100 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
Fri, 06 Jan 2023 13:06:03 +0100 |
wenzelm |
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
|
file |
diff |
annotate
|
Fri, 06 Jan 2023 12:05:32 +0100 |
wenzelm |
more command-line options;
|
file |
diff |
annotate
|
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
|