src/Pure/Tools/build_log.scala
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;