src/Pure/Tools/build_log.scala
2016-10-11 wenzelm 2016-10-11 tuned signature;
2016-10-11 wenzelm 2016-10-11 clarified modules;
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-08 wenzelm 2016-10-08 build_history log files with formal meta info;
2016-10-08 wenzelm 2016-10-08 prefer explicit timezone offset for printing;
2016-10-08 wenzelm 2016-10-08 prefer local timezone;
2016-10-08 wenzelm 2016-10-08 support for Isabelle/Jenkins log file format;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-08 wenzelm 2016-10-08 clarified meta info;
2016-10-08 wenzelm 2016-10-08 tuned comment;
2016-10-08 wenzelm 2016-10-08 tuned signature;
2016-10-08 wenzelm 2016-10-08 more permissive: accept all historic isatest and afp-test logs;
2016-10-08 wenzelm 2016-10-08 accept spurious empty logs;
2016-10-08 wenzelm 2016-10-08 prefer static Date_Format;
2016-10-08 wenzelm 2016-10-08 more formal directory content; clarified date format;
2016-10-08 wenzelm 2016-10-08 tuned error;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-08 wenzelm 2016-10-08 misc tuning and clarification;
2016-10-07 wenzelm 2016-10-07 more flexible date formats;
2016-10-07 wenzelm 2016-10-07 support for isatest format;
2016-10-07 wenzelm 2016-10-07 tuned;
2016-10-07 wenzelm 2016-10-07 accept obscure timezone used in 2011;
2016-10-07 wenzelm 2016-10-07 more liberal parsing for old AFP logs;
2016-10-07 wenzelm 2016-10-07 more operations;
2016-10-07 wenzelm 2016-10-07 more permissive timing data;
2016-10-07 wenzelm 2016-10-07 more permissive for old logs;
2016-10-07 wenzelm 2016-10-07 more uniform regexps;
2016-10-07 wenzelm 2016-10-07 clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
2016-10-07 wenzelm 2016-10-07 clarified parse_build_info: isabelle build output; clarified Session_Status; tuned signature;
2016-10-07 wenzelm 2016-10-07 more operations;
2016-10-07 wenzelm 2016-10-07 clarified signature;
2016-10-07 wenzelm 2016-10-07 more uniform treatment of settings;
2016-10-07 wenzelm 2016-10-07 clarified modules; CI_Profile: show all settings;
2016-10-07 wenzelm 2016-10-07 tuned;
2016-10-06 wenzelm 2016-10-06 tuned signature;
2016-10-06 wenzelm 2016-10-06 misc tuning and clarification;
2016-10-05 wenzelm 2016-10-05 some support for header and data fields, notably from afp-test;
2016-10-05 wenzelm 2016-10-05 clarified modules;
2016-10-05 wenzelm 2016-10-05 more operations;
2016-10-04 wenzelm 2016-10-04 clarified modules;