src/Doc/System/Sessions.thy
Sat, 08 Apr 2023 19:32:09 +0200 wenzelm use "rsync --secluded-args" by default, discontinue obsolete option -P of sync tools;
Sat, 08 Apr 2023 16:37:54 +0200 wenzelm clarified underlying SSH session of "isabelle hg_sync" and "isabelle sync";
Tue, 14 Mar 2023 10:05:57 +0100 wenzelm tuned output;
Sat, 11 Mar 2023 14:49:53 +0100 wenzelm support "isabelle options -l -t TAGS";
Tue, 07 Mar 2023 23:32:59 +0100 wenzelm proper tool name (amending cbb49fe8e5a2);
Tue, 07 Mar 2023 22:17:47 +0100 wenzelm renamed "isabelle log" to "isabelle build_log";
Tue, 07 Mar 2023 10:57:50 +0100 wenzelm clarified terminology of "session build database", while "build database" is the one underlying Build_Process;
Sun, 15 Jan 2023 18:30:18 +0100 wenzelm isabelle update -u cite;
Sun, 15 Jan 2023 12:13:19 +0100 wenzelm more index entries;
Sun, 15 Jan 2023 12:11:25 +0100 wenzelm updated documentation;
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;
Fri, 06 Jan 2023 12:05:32 +0100 wenzelm more command-line options;
Thu, 05 Jan 2023 22:30:20 +0100 wenzelm tuned options --- avoid confusion with "isabelle build -b";
Thu, 05 Jan 2023 21:14:53 +0100 wenzelm updated documentation;
Thu, 05 Jan 2023 20:44:10 +0100 wenzelm tuned message;
Thu, 22 Sep 2022 16:29:26 +0200 wenzelm more examples;
Tue, 13 Sep 2022 11:56:38 +0200 wenzelm let rsync re-use ssh connection via control path;
Tue, 13 Sep 2022 10:44:47 +0200 wenzelm clarified command-line;
Tue, 13 Sep 2022 09:59:08 +0200 wenzelm clarified default: do not override port from ssh_config, which could be different from 22;
Sat, 10 Sep 2022 19:37:33 +0200 wenzelm more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);
Sat, 10 Sep 2022 16:12:52 +0200 wenzelm more command-line options;
Thu, 08 Sep 2022 19:32:26 +0200 wenzelm updated documentation;
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);
Sat, 27 Aug 2022 12:18:49 +0200 wenzelm clarified syntax: more uniform;
Fri, 26 Aug 2022 21:28:26 +0200 wenzelm support 'chapter_definition' with description for presentation purposes;
Mon, 13 Jun 2022 11:48:46 +0200 wenzelm clarified options of "isabelle hg_sync" vs. "isabelle sync";
Mon, 13 Jun 2022 11:35:00 +0200 wenzelm tuned layout;
Mon, 13 Jun 2022 11:31:59 +0200 wenzelm misc tuning;
Mon, 13 Jun 2022 11:10:39 +0200 wenzelm clarified document structure;
Sun, 27 Feb 2022 20:00:23 +0100 wenzelm misc tuning based on comments by Heiko Eißfeldt;
Fri, 03 Dec 2021 15:11:16 +0100 wenzelm more documentation about document build options;
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";
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;
Tue, 08 Jun 2021 23:23:59 +0200 wenzelm clarified documentation: tracing messages are not shown here;
Mon, 07 Jun 2021 11:42:05 +0200 wenzelm allow system option short form NAME for NAME=true for type string, not just bool;
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");
Sun, 23 May 2021 22:46:30 +0200 wenzelm syslog option for "isabelle build";
Wed, 19 May 2021 13:19:37 +0200 wenzelm explicit option document_bibliography;
Tue, 18 May 2021 22:02:21 +0200 wenzelm option document_preprocessor;
Sun, 27 Dec 2020 15:11:06 +0100 wenzelm clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
Thu, 10 Dec 2020 22:15:16 +0100 wenzelm clarified messages;
Thu, 10 Dec 2020 18:38:26 +0100 wenzelm NEWS and documentation for "isabelle log";
Sun, 29 Nov 2020 07:57:50 +0000 haftmann typo
Wed, 18 Nov 2020 13:16:08 +0100 wenzelm more explicit presentation directory;
Sat, 14 Nov 2020 12:55:05 +0100 wenzelm official support for document theories from other sessions;
Wed, 11 Nov 2020 21:00:14 +0100 wenzelm build documents in Isabelle/Scala, based on generated tex files as session exports;
Thu, 29 Oct 2020 10:03:03 +0000 haftmann moved most material from session HOL-Word to Word_Lib in the AFP
Wed, 01 Jul 2020 21:14:04 +0200 wenzelm tuned message;
Tue, 26 May 2020 11:58:42 +0200 wenzelm clarified signature --- fit within limit of 22 arguments;
Mon, 25 May 2020 22:37:22 +0200 wenzelm more antiquotations;
Tue, 28 Apr 2020 21:47:22 +0200 wenzelm added "isabelle sessions" tool;
Tue, 28 Apr 2020 19:50:36 +0200 wenzelm tuned messages;
Mon, 14 Oct 2019 19:58:38 +0200 wenzelm clarified "isabelle update" options -- more like "isabelle dump";
Mon, 14 Oct 2019 19:37:12 +0200 wenzelm clarified treatment of base logic image;
Mon, 14 Oct 2019 19:14:03 +0200 wenzelm simplified options: always split;
Mon, 14 Oct 2019 17:19:08 +0200 wenzelm split into standard partitions, for improved scalability;
Mon, 14 Oct 2019 13:21:53 +0200 wenzelm clarified defaults;
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;
Mon, 30 Sep 2019 13:23:49 +0200 wenzelm added dump_options: disabled by default;
Thu, 12 Sep 2019 14:22:47 +0200 wenzelm discontinued obsolete "isabelle imports" and all_known data;
less more (0) -100 -60 tip