#961 (Jun 17, 2017, 3:28:03 PM)

1. merged (detail / hgweb)
2. updated package; (detail / hgweb)
3. maintain overlays within main state of document models;
   proper pending_input for Isabelle/VSCode; (detail / hgweb)
4. proper treatment of editor overlays; (detail / hgweb)
5. tuned; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. support for separate proof state output; (detail / hgweb)
9. automatic reformatting; (detail / hgweb)
10. more general dispatcher operations; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified modules; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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