#499 (Oct 6, 2016, 1:07:05 PM)

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

• 5 min 2 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 35 min total from scheduled to completion.