src/Pure/Tools/dump.scala
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;
Sat, 29 Dec 2018 19:26:48 +0100 wenzelm tuned signature;
Sat, 29 Dec 2018 17:37:02 +0100 wenzelm clarified signature, notably cascade of dump_options, deps, resources, session;
Sat, 29 Dec 2018 16:13:05 +0100 wenzelm unused;
Sat, 29 Dec 2018 16:11:24 +0100 wenzelm clarified signature;
Sat, 29 Dec 2018 14:58:51 +0100 wenzelm clarified errors, according to Isabelle/MMT;
Sat, 29 Dec 2018 13:49:09 +0100 wenzelm tuned, according to Isabelle/MMT;
Sat, 29 Dec 2018 13:15:13 +0100 wenzelm clarified options: ensure consolidated Node_Status and thus percentage = 100% for progress;
Sat, 29 Dec 2018 12:52:58 +0100 wenzelm tuned;
Fri, 28 Dec 2018 16:58:27 +0100 wenzelm clarified sessions_deps, according to Isabelle/MMT usage;
Thu, 27 Dec 2018 17:15:40 +0100 wenzelm tuned signature: for other dump-like tools;
Thu, 27 Dec 2018 16:59:55 +0100 wenzelm unused;
Thu, 27 Dec 2018 16:32:19 +0100 wenzelm tuned;
Thu, 27 Dec 2018 16:56:53 +0100 wenzelm clarified defaults via system options;
Tue, 02 Oct 2018 19:02:47 +0200 wenzelm unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
Sat, 22 Sep 2018 14:24:53 +0200 wenzelm proper return code for runtime failure;
Sat, 22 Sep 2018 13:22:43 +0200 wenzelm clarified errors: no result from forced session.stop, check pending theories;
Fri, 21 Sep 2018 16:47:03 +0200 wenzelm suppress some theories to allow "isabelle dump -o skip_proofs";
Fri, 21 Sep 2018 14:31:07 +0200 wenzelm tuned signature;
Tue, 18 Sep 2018 23:07:34 +0200 wenzelm tuned signature;
Tue, 18 Sep 2018 11:14:30 +0200 wenzelm tuned signature;
Tue, 18 Sep 2018 11:05:14 +0200 wenzelm clarified modules;
Mon, 17 Sep 2018 22:10:58 +0200 wenzelm tuned message;
Mon, 17 Sep 2018 21:50:14 +0200 wenzelm more detailed session dependencies, with conditions for theories;
Wed, 12 Sep 2018 20:58:06 +0200 wenzelm tuned signature;
Sat, 08 Sep 2018 22:21:19 +0200 wenzelm implicit use of NUMA policy, absorbing potential errors;
Sat, 08 Sep 2018 21:48:26 +0200 wenzelm more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;
Sat, 08 Sep 2018 14:30:31 +0200 wenzelm more accurate output;
Sat, 08 Sep 2018 13:36:40 +0200 wenzelm clarified defaults;
Sat, 08 Sep 2018 13:22:23 +0200 wenzelm more accurate output;
Sat, 08 Sep 2018 12:34:11 +0200 wenzelm support for watchdog_timeout;
Sat, 08 Sep 2018 12:18:15 +0200 wenzelm tuned signature;
Sat, 08 Sep 2018 12:01:22 +0200 wenzelm removed junk;
Sat, 08 Sep 2018 11:44:47 +0200 wenzelm tuned output;
Fri, 07 Sep 2018 23:47:26 +0200 wenzelm continuously clean frontier of already committed theories: much less resource requirements;
Fri, 07 Sep 2018 19:27:28 +0200 wenzelm clarified error progress and error_rc;
Fri, 07 Sep 2018 19:18:41 +0200 wenzelm tuned signature;
Fri, 07 Sep 2018 19:11:16 +0200 wenzelm tuned signature;
Fri, 07 Sep 2018 17:08:47 +0200 wenzelm dump aspects asynchronously;
Mon, 03 Sep 2018 20:04:51 +0200 wenzelm more detailed progress;
Mon, 03 Sep 2018 18:47:31 +0200 wenzelm more robust default options, notably for node consolidation;
Mon, 03 Sep 2018 18:45:03 +0200 wenzelm tuned;
Sun, 02 Sep 2018 22:30:08 +0200 wenzelm clarified quasi_consolidated state: ensure that exports are present for ok nodes;
Sat, 18 Aug 2018 12:41:05 +0200 wenzelm clarified modules;
less more (0) -60 tip