#400 (Aug 21, 2017, 12:50:09 AM)

1. Merged (detail / hgweb)
2. More lemmas for HOL-Analysis (detail / hgweb)
3. merged (detail / hgweb)
4. updated for release; (detail / hgweb)
5. enforce Isabelle plugins to be enabled; (detail / hgweb)
6. officially allow restart of Isabelle plugin; (detail / hgweb)
7. reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin; (detail / hgweb)
8. proper update of options (amending c3d6dd17d626); (detail / hgweb)
9. more robust plugin restart; (detail / hgweb)
10. more robust shutdown, e.g. when plugin is stopped; (detail / hgweb)
11. separate base plugin for important services that should be always available, despite startup errors of the main plugin; (detail / hgweb)
12. Various lemmas for HOL-Analysis (detail / hgweb)

Started by an SCM change

This run spent:

• 7.3 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.