src/Doc/System/Sessions.thy
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;
Wed, 11 Sep 2019 16:06:10 +0200 wenzelm disallow overlapping session directories;
Sun, 08 Sep 2019 17:49:35 +0200 wenzelm clarified syntax: 'directories' and 'theories' belong together;
Sun, 08 Sep 2019 17:15:46 +0200 wenzelm more documentation;
Fri, 01 Mar 2019 21:29:59 +0100 wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
Fri, 15 Feb 2019 17:00:21 +0100 wenzelm clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
Wed, 30 Jan 2019 13:25:33 +0100 wenzelm discontinued obsolete option "checkpoint";
Wed, 16 Jan 2019 17:55:26 +0100 wenzelm support pruning of export names;
Sun, 06 Jan 2019 16:27:52 +0100 wenzelm proper example for inner syntax, not name;
Sun, 06 Jan 2019 12:42:26 +0100 wenzelm support for isabelle update -u path_cartouches;
Sun, 06 Jan 2019 12:33:45 +0100 wenzelm clarified documentation;
Sun, 06 Jan 2019 12:01:09 +0100 wenzelm redundant (see isabelle.Dump.make_options);
Sat, 05 Jan 2019 20:12:02 +0100 wenzelm documentation on "isabelle update";
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Sat, 25 Aug 2018 20:48:16 +0200 wenzelm more uniform cartouche syntax;
Wed, 01 Aug 2018 20:58:41 +0200 wenzelm isabelle build options -c -x -B refer to imports_graph;
Wed, 27 Jun 2018 20:31:22 +0200 wenzelm clarified settings -- avoid hard-wired directories;
Tue, 26 Jun 2018 19:17:11 +0200 wenzelm tuned;
Tue, 26 Jun 2018 19:16:14 +0200 wenzelm updated documentation;
Fri, 01 Jun 2018 15:53:35 +0200 wenzelm documentation for "isabelle dump";
Tue, 29 May 2018 13:45:51 +0200 wenzelm clarified option -O: avoid conflict with build/dump option -D;
Sat, 26 May 2018 19:40:02 +0200 wenzelm support 'export_files' in session ROOT;
Sat, 26 May 2018 17:37:15 +0200 wenzelm support multiple patterns;
Sat, 19 May 2018 15:45:45 +0200 wenzelm clarified store directories;
Fri, 11 May 2018 20:35:29 +0200 wenzelm guard result exports via export_pattern -- avoid bombing client via huge blobs;
Tue, 08 May 2018 20:24:08 +0200 wenzelm command-line tool "isabelle export";
Mon, 12 Feb 2018 14:13:54 +0100 Lars Hupel corrected some URLs
Tue, 05 Dec 2017 16:03:58 +0100 wenzelm more documentation;
Fri, 03 Nov 2017 13:58:20 +0100 wenzelm clarified situation of global theory names;
Wed, 01 Nov 2017 12:31:53 +0100 wenzelm tuned diagram;
Wed, 01 Nov 2017 12:28:20 +0100 wenzelm clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
Wed, 25 Oct 2017 13:47:53 +0200 wenzelm more documentation;
Thu, 12 Oct 2017 15:58:18 +0200 wenzelm more informative Imports.Report with actual session imports (minimized);
Wed, 11 Oct 2017 20:16:00 +0200 wenzelm added isablle build option -f;
Mon, 02 Oct 2017 19:58:29 +0200 wenzelm discontinued obsolete 'files' in session ROOT;
Mon, 02 Oct 2017 13:45:36 +0200 wenzelm more documentation;
Mon, 02 Oct 2017 11:43:17 +0200 wenzelm option -S for "isabelle build";
Sun, 01 Oct 2017 13:07:31 +0200 wenzelm option -B for "isabelle build" and "isabelle imports";
Sun, 17 Sep 2017 17:37:40 +0200 wenzelm more documentation;
Thu, 31 Aug 2017 19:29:42 +0200 wenzelm tuned;
Tue, 18 Apr 2017 16:34:58 +0200 wenzelm exclude theories from other sessions;
Tue, 18 Apr 2017 14:51:46 +0200 wenzelm some documentation;
Tue, 04 Apr 2017 21:05:07 +0200 wenzelm tuned syntax;
less more (0) -100 -60 tip