src/Pure/Tools/build_stats.scala
2016-10-08 wenzelm 2016-10-08 tuned signature;
2016-10-07 wenzelm 2016-10-07 more permissive timing data;
2016-10-07 wenzelm 2016-10-07 clarified parse_build_info: isabelle build output; clarified Session_Status; tuned signature;
2016-10-06 wenzelm 2016-10-06 misc tuning and clarification;
2016-10-05 wenzelm 2016-10-05 clarified modules;
2016-10-01 wenzelm 2016-10-01 tuned messages -- facilitate copy-paste;
2016-09-20 wenzelm 2016-09-20 tuned -- fewer warnings;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-08-16 wenzelm 2016-08-16 more robust;
2016-08-16 wenzelm 2016-08-16 clarified presentation order, according to typical amounts;
2016-08-16 wenzelm 2016-08-16 present ML timing as well;
2016-08-14 wenzelm 2016-08-14 provide index.html; tuned;
2016-08-14 wenzelm 2016-08-14 cpu time is optional (see Timing.message_resources);
2016-08-14 wenzelm 2016-08-14 proper display of "_";
2016-08-14 wenzelm 2016-08-14 clarified options and arguments; tuned;
2016-08-13 wenzelm 2016-08-13 gnuplot presentation similar to former isatest-statistics;
2016-08-13 wenzelm 2016-08-13 statistics from session build output;