#674 (Jun 30, 2018, 11:41:43 AM)

1. merged (detail / hgweb)
2. declare case theorems as proper code equations (detail / hgweb)
3. tuned; (detail / hgweb)
4. merged; (detail / hgweb)
5. VSCode extension for official Isabelle release; (detail / hgweb)
6. misc tuning and updates for release; (detail / hgweb)
7. more manual tests; (detail / hgweb)
8. misc tuning for release; (detail / hgweb)
9. clarified error; (detail / hgweb)
10. command-line option for include_sessions; (detail / hgweb)
11. disallow pending hyps;
    disallow pending shyps, with option to override the check;
    tuned message; (detail / hgweb)
12. disallow hyps in export;
    handle extra shyps as explicit sort constraints; (detail / hgweb)
13. always consolidate: allow errors in presentation; (detail / hgweb)
14. proper build_heap; (detail / hgweb)
15. avoid pending shyps in global theory facts; (detail / hgweb)
16. The unwinding number is an integer. (detail / hgweb)
17. Now based on Complex_Main, not HOL.Deriv (detail / hgweb)
18. merged (detail / hgweb)
19. Incorporating new/strengthened proofs from Library and AFP entries (detail / hgweb)
20. NEWS and CONTRIBUTORS (detail / hgweb)
21. remove trailing commas (detail / hgweb)

Started by an SCM change

This run spent:

• 10 hr waiting;
• 1 hr 17 min build duration;
• 12 hr total from scheduled to completion.