#1164 (Apr 7, 2020, 12:50:06 AM)

1. merged; (detail / hgweb)
2. more robust interrupts; (detail / hgweb)
3. tuned message; (detail / hgweb)
4. tuned; (detail / hgweb)
5. NEWS; (detail / hgweb)
6. tuned; (detail / hgweb)
7. more robust interrupt handling; (detail / hgweb)
8. more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler); (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. more uniform and Java-conformant: change of handler is non-blocking and interrupts should not be exposed prematurely (reverting 220d19f3e074); (detail / hgweb)
12. terminate faster; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned; (detail / hgweb)
15. clarified interrupt handling; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. tuned; (detail / hgweb)
18. misc tuning and clarification; (detail / hgweb)
19. more general interrupt_handler, with some cascading; (detail / hgweb)
20. clarified signature; (detail / hgweb)
21. a few more applys (detail / hgweb)
22. fixed a broken frac_le proof (detail / hgweb)
23. fixed more nasty proofs (detail / hgweb)

Started by an SCM change

This run spent:

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