src/Pure/Tools/build_history.scala
2016-10-11 wenzelm 2016-10-11 tuned signature;
2016-10-11 wenzelm 2016-10-11 tuned -- Date.Format.default used by toString;
2016-10-11 wenzelm 2016-10-11 clarified modules;
2016-10-11 wenzelm 2016-10-11 tuned signature;
2016-10-11 wenzelm 2016-10-11 eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;
2016-10-09 wenzelm 2016-10-09 enforce detailed build log;
2016-10-09 wenzelm 2016-10-09 record heap sizes;
2016-10-09 wenzelm 2016-10-09 inline session ML statistics into main build log; tuned;
2016-10-09 wenzelm 2016-10-09 modernized;
2016-10-08 wenzelm 2016-10-08 build_history log files with formal meta info;
2016-10-05 wenzelm 2016-10-05 added multicore_base option;
2016-10-05 wenzelm 2016-10-05 allow multiple threads configurations;
2016-10-05 wenzelm 2016-10-05 tuned;
2016-10-05 wenzelm 2016-10-05 misc tuning and clarification;
2016-10-05 wenzelm 2016-10-05 clean output dir for fresh rebuild; clarified echo;
2016-10-05 wenzelm 2016-10-05 allow multiline script;
2016-10-05 wenzelm 2016-10-05 clarified sanity checks;
2016-10-04 wenzelm 2016-10-04 historic workaround according to 22630327408b;
2016-10-04 wenzelm 2016-10-04 more thorought update of components;
2016-10-04 wenzelm 2016-10-04 tuned error;
2016-10-04 wenzelm 2016-10-04 incremental output; tuned;
2016-10-04 wenzelm 2016-10-04 clarified output;
2016-10-04 wenzelm 2016-10-04 clarified heap options;
2016-10-04 wenzelm 2016-10-04 more ambitious default as in former isatest;
2016-10-04 wenzelm 2016-10-04 tuned;
2016-10-04 wenzelm 2016-10-04 more sanity checks;
2016-10-04 wenzelm 2016-10-04 more options for generated settings;
2016-10-03 wenzelm 2016-10-03 proper log output;
2016-10-03 wenzelm 2016-10-03 clarified command line; clarified result;
2016-10-03 wenzelm 2016-10-03 clarified command-line; init settings and components;
2016-10-03 wenzelm 2016-10-03 more formal build_history_base;
2016-10-03 wenzelm 2016-10-03 basic setup for Admin/build_history -- outside of Isabelle environment;