#162 (Oct 7, 2016, 12:50:09 AM)

1. merged (detail / hgweb)
2. merged (detail / hgweb)
3. less aggressive unfolding in tactic (detail / hgweb)
4. merged (detail / hgweb)
5. moved lemmas (detail / hgweb)
6. merged (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. misc tuning and clarification; (detail / hgweb)
9. some support for header and data fields, notably from afp-test; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. more flexibile formatting;
    expose representation for free-form formatters; (detail / hgweb)
12. proper calculation; (detail / hgweb)
13. more operations;
    tuned; (detail / hgweb)
14. more date and time operations from Java 8; (detail / hgweb)
15. proper imports; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. more operations; (detail / hgweb)
18. added multicore_base option; (detail / hgweb)
19. allow multiple threads configurations; (detail / hgweb)
20. tuned; (detail / hgweb)
21. misc tuning and clarification; (detail / hgweb)
22. clean output dir for fresh rebuild;
    clarified echo; (detail / hgweb)
23. allow multiline script; (detail / hgweb)
24. clarified sanity checks; (detail / hgweb)
25. clarified modules; (detail / hgweb)
26. historic workaround according to 22630327408b; (detail / hgweb)
27. more thorought update of components; (detail / hgweb)
28. check session name; (detail / hgweb)
29. tuned signature; (detail / hgweb)
30. tuned error; (detail / hgweb)
31. earlier build_history_base: timing properties in log are introduced here; (detail / hgweb)
32. incremental output;
    tuned; (detail / hgweb)
33. clarified output; (detail / hgweb)
34. clarified heap options; (detail / hgweb)
35. proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper); (detail / hgweb)
36. more ambitious default as in former isatest; (detail / hgweb)
37. tuned signature; (detail / hgweb)
38. tuned; (detail / hgweb)
39. more sanity checks; (detail / hgweb)
40. more options for generated settings; (detail / hgweb)
41. more robust build_history_base; (detail / hgweb)
42. more robust; (detail / hgweb)
43. proper log output; (detail / hgweb)
44. clarified command line;
    clarified result; (detail / hgweb)
45. clarified command-line;
    init settings and components; (detail / hgweb)
46. more operations; (detail / hgweb)
47. more formal build_history_base; (detail / hgweb)
48. clarified cold-start environment; (detail / hgweb)
49. basic setup for Admin/build_history -- outside of Isabelle environment; (detail / hgweb)
50. clarified: a variant of -i is the default, but its output is not as precise as it might seem; (detail / hgweb)

Started by an SCM change

This run spent:

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