#642 (May 27, 2018, 1:45:14 AM)

1. merged (detail / hgweb)
2. tidying and reorganisation around Cauchy Integral Theorem (detail / hgweb)
3. export sort algebra; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. support 'export_files' in session ROOT; (detail / hgweb)
7. clarified output; (detail / hgweb)
8. support multiple patterns; (detail / hgweb)
9. clarified cache; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned output; (detail / hgweb)
12. merged (detail / hgweb)
13. merged (detail / hgweb)
14. tidied some proofs (detail / hgweb)
15. merged (detail / hgweb)
16. merged (detail / hgweb)
17. more small tidying (detail / hgweb)
18. merged (detail / hgweb)
19. macOS build: exclude HOL-Proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 55 min waiting;
• 1 hr 29 min build duration;
• 2 hr 25 min total from scheduled to completion.