#931 (May 1, 2019, 12:50:07 AM)

1. merged (detail / hgweb)
2. merged (detail / hgweb)
3. huge de-apply effort (detail / hgweb)
4. more uniform Isabelle splash screen -- avoid problems with jEdit splash and Java 11 on some Linux window managers; (detail / hgweb)
5. yet more de-applying (detail / hgweb)
6. more de-applying (detail / hgweb)
7. more tidying up (detail / hgweb)
8. A bit of de-applying (detail / hgweb)
9. Algebraic closure: moving more theorems into their rightful places (detail / hgweb)
10. moving around some material from Algebraic_Closure (detail / hgweb)
11. merged (detail / hgweb)
12. full proof of algebraic closure, by Paulo de Vilhena (detail / hgweb)

Started by an SCM change

This run spent:

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