Summary
- merged
- accept obscure timezone used in 2011;
- more liberal parsing for old AFP logs;
- more operations;
- more permissive timing data;
- more permissive for old logs;
- more uniform regexps;
- clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
- clarified parse_build_info: isabelle build output; clarified Session_Status; tuned signature;
- more operations;
- more operations;
- clarified signature;
- more uniform treatment of settings;
- clarified modules; CI_Profile: show all settings;
- tuned;
- more official legacy status;