src/Pure/Tools/dump.scala
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;
Tue, 29 May 2018 17:45:48 +0200 wenzelm more operations;
Tue, 29 May 2018 15:04:02 +0200 wenzelm more accurate dependencies;
Tue, 29 May 2018 14:38:32 +0200 wenzelm more formal dump aspects;
Mon, 28 May 2018 22:25:10 +0200 wenzelm support to dump build database produced by PIDE session;
less more (0) tip