#1090 (Aug 20, 2017, 10:22:03 PM)

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

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 7 min build duration;
• 1 hr 12 min total from scheduled to completion.