src/Pure/Tools/dump.scala
Mon, 23 Nov 2020 13:37:10 +0100 wenzelm proper output of document sources (cf. d892f6d66402);
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Tue, 01 Sep 2020 18:03:17 +0200 wenzelm discontinue export_document --- always enabled (reverting f0f83ce0badd);
Wed, 12 Aug 2020 11:26:01 +0200 wenzelm removed pointless option "ML_statistics": always enabled;
Thu, 23 Jul 2020 14:25:48 +0200 wenzelm clarified order --- proper sorting of requirements;
Tue, 26 May 2020 11:17:10 +0200 wenzelm tuned;
Tue, 28 Apr 2020 19:50:36 +0200 wenzelm tuned messages;
Tue, 07 Apr 2020 21:49:36 +0200 wenzelm clarified signature: more uniform treatment of stopped/interrupted state;
Fri, 03 Apr 2020 20:29:54 +0200 wenzelm tuned;
Thu, 02 Apr 2020 13:04:24 +0200 wenzelm merged
Wed, 25 Mar 2020 17:33:46 +0100 wenzelm clarified messages: indicate termination explicitly;
Fri, 27 Mar 2020 22:01:27 +0100 wenzelm misc tuning based on hints by IntelliJ IDEA;
Fri, 20 Mar 2020 19:55:42 +0100 wenzelm avoid accidental update of base session sources (following documentation in "system" manual);
Mon, 09 Mar 2020 19:35:07 +0100 wenzelm more scalable output of YXML files;
Mon, 25 Nov 2019 10:58:15 +0100 wenzelm avoid vacuous session Pure -- dump does not read_pure_theory;
Sun, 24 Nov 2019 15:45:32 +0100 wenzelm clarified vacuous selection vs. Pure;
Sun, 24 Nov 2019 15:31:28 +0100 wenzelm tuned signature;
Tue, 15 Oct 2019 11:25:18 +0200 wenzelm cumulative errors for session partitions;
Tue, 15 Oct 2019 11:06:18 +0200 wenzelm proper guard for process_theory: ensure uniform precedence of results;
Tue, 15 Oct 2019 10:52:42 +0200 wenzelm load HOL-Proofs first: it introduces some extra "thm" items that are required later on;
Mon, 14 Oct 2019 22:22:06 +0200 wenzelm more complete coverage of sessions: process_theory operation needs to handle duplicate theories;
Mon, 14 Oct 2019 22:09:10 +0200 wenzelm proper build_graph to make session selection work as in "isabelle build";
Mon, 14 Oct 2019 21:57:36 +0200 wenzelm incorporate sessions with record_proofs;
Mon, 14 Oct 2019 21:00:04 +0200 wenzelm clarified signature;
Mon, 14 Oct 2019 20:29:19 +0200 wenzelm clarified signature;
Mon, 14 Oct 2019 20:22:37 +0200 wenzelm clarified signature;
Mon, 14 Oct 2019 20:05:16 +0200 wenzelm clarified signature;
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 18:51:12 +0200 wenzelm proper guard -- avoid bad result;
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, 14 Oct 2019 13:17:33 +0200 wenzelm tuned signature;
Mon, 14 Oct 2019 12:07:37 +0200 wenzelm clarified signature: static Dump.Context vs. dynamic Dump.Session;
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;
Tue, 01 Oct 2019 20:21:30 +0200 wenzelm avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;
Tue, 01 Oct 2019 19:54:42 +0200 wenzelm consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
Mon, 30 Sep 2019 21:01:08 +0200 wenzelm clarified share_common_data: after finished checkpoint, before next edits;
Mon, 30 Sep 2019 17:28:40 +0200 wenzelm obsolete (see 030a6baa5cb2 and d14ddb1df52c);
Mon, 30 Sep 2019 13:23:49 +0200 wenzelm added dump_options: disabled by default;
Sun, 15 Sep 2019 14:01:38 +0200 wenzelm more ambitious options (again);
Sun, 15 Sep 2019 13:52:30 +0200 wenzelm more ambitious options (again, after 93aa546ffbac);
Thu, 12 Sep 2019 16:21:44 +0200 wenzelm eliminated pointless theory graph (reverting parts of a56eab490f4e): it caused problems with loaded vs. non-loaded node names, e.g. for theory Pure (see also 29bb1ebb188f);
Sat, 07 Sep 2019 14:50:38 +0200 wenzelm disable fragile options for now;
Fri, 06 Sep 2019 15:45:05 +0200 wenzelm more robust;
Wed, 04 Sep 2019 22:12:44 +0200 wenzelm disable share_common_data for now (amending 0f8742b5a9e8) -- potentially more robust;
Wed, 04 Sep 2019 22:00:38 +0200 wenzelm load theories in stages, to reduce ML heap requirements;
Tue, 03 Sep 2019 14:56:43 +0200 wenzelm clarified signature;
Mon, 02 Sep 2019 19:44:12 +0200 wenzelm more explicit type Dump.Session, with context information;
Thu, 29 Aug 2019 17:13:49 +0200 wenzelm more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
Wed, 28 Aug 2019 23:01:53 +0200 wenzelm enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions;
Wed, 28 Aug 2019 10:18:50 +0200 wenzelm more scalable -- less ML heap requirements;
Wed, 28 Aug 2019 10:13:32 +0200 wenzelm tuned whitespace;
Mon, 18 Mar 2019 21:06:26 +0100 wenzelm support unicode_symbols in input source;
Mon, 11 Mar 2019 16:47:22 +0100 wenzelm tuned signature;
Mon, 11 Mar 2019 16:23:30 +0100 wenzelm tuned signature;
Sun, 03 Mar 2019 19:12:28 +0100 wenzelm clarified signature;
Sun, 03 Mar 2019 18:45:08 +0100 wenzelm tuned signature;
Fri, 01 Mar 2019 21:29:59 +0100 wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
Wed, 02 Jan 2019 12:50:32 +0100 wenzelm tuned messages;
less more (0) -100 -60 tip