#163 (Oct 8, 2016, 12:50:07 AM)

1. more flexible date formats; (detail / hgweb)
2. support for isatest format; (detail / hgweb)
3. tuned; (detail / hgweb)
4. merged (detail / hgweb)
5. accept obscure timezone used in 2011; (detail / hgweb)
6. more liberal parsing for old AFP logs; (detail / hgweb)
7. more operations; (detail / hgweb)
8. more permissive timing data; (detail / hgweb)
9. more permissive for old logs; (detail / hgweb)
10. more uniform regexps; (detail / hgweb)
11. clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log); (detail / hgweb)
12. clarified parse_build_info: isabelle build output;
    clarified Session_Status;
    tuned signature; (detail / hgweb)
13. more operations; (detail / hgweb)
14. more operations; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. more uniform treatment of settings; (detail / hgweb)
17. clarified modules;
    CI_Profile: show all settings; (detail / hgweb)
18. tuned; (detail / hgweb)
19. more official legacy status; (detail / hgweb)
20. more lemmas (detail / hgweb)
21. tuning multisets (detail / hgweb)
22. more lemmas (detail / hgweb)
23. Set_Permutations -> Multiset_Permutations in NEWS (detail / hgweb)
24. moved to proper release (cf. 4a72b37ac4b8);
    tuned; (detail / hgweb)
25. updated for release; (detail / hgweb)
26. merged (detail / hgweb)
27. Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7 (detail / hgweb)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 1 hr 12 min build duration;
• 1 hr 12 min total from scheduled to completion.