src/Pure/Tools/build.ML
2013-11-16 ago prefer explicit "document" flag -- eliminated stateful Present.no_document;
2013-08-26 ago added SHA1 library integrity test, which is invoked at compile time and Isabelle_Process run-time;
2013-08-02 ago tuned signature;
2013-07-19 ago just one option "skip_proofs", without direct access within the editor (it makes document processing stateful without strong reasons -- monotonic updates already handle goal forks smoothly);
2013-06-30 ago discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image;
2013-06-30 ago backout dedd7952a62c: static "proofs" value within theory prevents later inferencing with different configuration;
2013-06-27 ago manage option "proofs" within theory context -- with minor overhead for primitive inferences;
2013-05-21 ago proper options;
2013-05-17 ago proper option quick_and_dirty;
2013-05-17 ago discontinued obsolete isabelle usedir, mkdir, make;
2013-05-16 ago some system options as context-sensitive config options;
2013-05-12 ago some system options as context-sensitive config options;
2013-05-12 ago full default options for Isabelle_Process and Build;
2013-04-09 ago add command timings (like document command status);
2013-04-09 ago just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;
2013-04-09 ago clarified protocol_message undefinedness;
2013-03-27 ago more ambitious Goal.skip_proofs: covers Goal.prove forms as well, and do not insist in quick_and_dirty (for the sake of Isabelle/jEdit);
2013-03-13 ago clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate);
2013-03-12 ago discontinued "isabelle usedir" option -r (reset session path);
2013-03-11 ago discontinued "isabelle usedir" option -P (remote path);
2013-02-20 ago more tight representation of command timing;
2013-02-19 ago recover timing information from old log files;
2013-02-19 ago support for build passing timings from Scala to ML;
2013-02-19 ago support for prescient timing information within command transactions;
2013-02-19 ago emit command_timing properties into build log;
2013-01-24 ago more efficient inlined properties, especially relevant for voluminous tasks trace;
2013-01-18 ago use inlined session name as title for charts;
2013-01-18 ago more systematic task statistics;
2013-01-12 ago immediate theory progress for build_dialog;
2013-01-08 ago include timing properties in log;
2013-01-03 ago maintain session index on Scala side, for more determistic results;
2013-01-03 ago always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;
2013-01-02 ago moved files;