src/Pure/Tools/dump.scala
12 months ago wenzelm 2018-06-11 tuned signature;
12 months ago wenzelm 2018-06-03 clarified signature: prefer Document.Snapshot;
12 months ago wenzelm 2018-06-02 more args;
12 months ago wenzelm 2018-06-01 documentation for "isabelle dump";
12 months ago wenzelm 2018-06-01 more dump aspects, with options; tuned signature;
12 months ago wenzelm 2018-06-01 clarified default: all aspects;
12 months ago wenzelm 2018-05-30 store Isabelle symbols in canonical form; tuned signature;
12 months ago wenzelm 2018-05-30 clarified outermost progress.interrupt_handler;
12 months ago wenzelm 2018-05-30 report theory progress via PIDE node status;
12 months ago wenzelm 2018-05-29 shutdown ML process before output: Theories_Result is timeless/stateless;
12 months ago wenzelm 2018-05-29 more operations; more output;
12 months ago wenzelm 2018-05-29 more accurate dependencies; tuned;
12 months ago wenzelm 2018-05-29 more formal dump aspects; support output dir;
12 months ago wenzelm 2018-05-28 support to dump build database produced by PIDE session;