src/Pure/Tools/dump.scala
10 months ago wenzelm 2018-09-03 more detailed progress;
10 months ago wenzelm 2018-09-03 more robust default options, notably for node consolidation;
10 months ago wenzelm 2018-09-03 tuned;
10 months ago wenzelm 2018-09-02 clarified quasi_consolidated state: ensure that exports are present for ok nodes;
11 months ago wenzelm 2018-08-18 clarified modules;
11 months ago wenzelm 2018-08-12 merged
11 months ago wenzelm 2018-08-12 proper session dirs;
11 months ago wenzelm 2018-08-11 tuned;
12 months ago wenzelm 2018-07-01 proper error;
12 months ago wenzelm 2018-06-29 proper build_heap;
13 months ago wenzelm 2018-06-24 disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
13 months ago wenzelm 2018-06-11 tuned signature;
13 months ago wenzelm 2018-06-03 clarified signature: prefer Document.Snapshot;
13 months ago wenzelm 2018-06-02 more args;
13 months ago wenzelm 2018-06-01 documentation for "isabelle dump";
13 months ago wenzelm 2018-06-01 more dump aspects, with options; tuned signature;
13 months ago wenzelm 2018-06-01 clarified default: all aspects;
13 months ago wenzelm 2018-05-30 store Isabelle symbols in canonical form; tuned signature;
13 months ago wenzelm 2018-05-30 clarified outermost progress.interrupt_handler;
13 months ago wenzelm 2018-05-30 report theory progress via PIDE node status;
13 months ago wenzelm 2018-05-29 shutdown ML process before output: Theories_Result is timeless/stateless;
13 months ago wenzelm 2018-05-29 more operations; more output;
13 months ago wenzelm 2018-05-29 more accurate dependencies; tuned;
13 months ago wenzelm 2018-05-29 more formal dump aspects; support output dir;
13 months ago wenzelm 2018-05-28 support to dump build database produced by PIDE session;