#319 (May 9, 2017, 12:50:09 AM)

1. tuned message; (detail / hgweb)
2. pick isabelle_version based on build_log database; (detail / hgweb)
3. simplified default; (detail / hgweb)
4. tuned (again); (detail / hgweb)
5. allow column with defining expression; (detail / hgweb)
6. tuned -- inlined single use; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. clarified image size; (detail / hgweb)
13. proper type for iterated application; (detail / hgweb)
14. make index formally within Isabelle/Scala; (detail / hgweb)
15. clarified modules; (detail / hgweb)
16. plot heap size; (detail / hgweb)
17. more precise profiles; (detail / hgweb)
18. suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS); (detail / hgweb)
19. more specific workaround (see also ed7b5cd3a7f2); (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 19 min total from scheduled to completion.