#706 (Aug 12, 2018, 12:50:08 AM)

1. tuned signature; (detail / hgweb)
2. tuned; (detail / hgweb)
3. merged; (detail / hgweb)
4. Added tag Isabelle2018-RC4 for changeset 34b8ff7cb109 (detail / hgweb)
5. updated for release; (detail / hgweb)
6. updated screenshot; (detail / hgweb)
7. updated documentation; (detail / hgweb)
8. suppress verit-2016post -- not ready for release; (detail / hgweb)
9. isabelle build options -c -x -B refer to imports_graph; (detail / hgweb)
10. more uniform checks; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. clarified ignored span / core range: include formal comments, e.g. relevant for error messages from antiquotations; (detail / hgweb)
15. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.