src/Pure/Tools/dump.scala
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;
Sun, 12 Aug 2018 14:31:46 +0200 wenzelm merged
Sun, 12 Aug 2018 14:28:28 +0200 wenzelm proper session dirs; Isabelle2018
Sat, 11 Aug 2018 17:28:20 +0200 wenzelm tuned;
Sun, 01 Jul 2018 12:37:24 +0200 wenzelm proper error;
Fri, 29 Jun 2018 11:36:31 +0200 wenzelm proper build_heap;
Sun, 24 Jun 2018 22:13:23 +0200 wenzelm disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
Mon, 11 Jun 2018 15:50:28 +0200 wenzelm tuned signature;
Sun, 03 Jun 2018 20:37:16 +0200 wenzelm clarified signature: prefer Document.Snapshot;
Sat, 02 Jun 2018 22:11:09 +0200 wenzelm more args;
Fri, 01 Jun 2018 15:53:35 +0200 wenzelm documentation for "isabelle dump";
Fri, 01 Jun 2018 11:51:03 +0200 wenzelm more dump aspects, with options;
Fri, 01 Jun 2018 11:10:22 +0200 wenzelm clarified default: all aspects;
Wed, 30 May 2018 17:10:02 +0200 wenzelm store Isabelle symbols in canonical form;
Wed, 30 May 2018 14:46:04 +0200 wenzelm clarified outermost progress.interrupt_handler;
Wed, 30 May 2018 14:34:43 +0200 wenzelm report theory progress via PIDE node status;
Tue, 29 May 2018 18:09:08 +0200 wenzelm shutdown ML process before output: Theories_Result is timeless/stateless;
less more (0) -60 tip