#351 (Jun 18, 2017, 12:50:11 AM)

1. merged (detail / hgweb)
2. adapted to new simp lemmas (detail / hgweb)
3. added simp rules (detail / hgweb)
4. more permissive: avoid situations where query is silently ignored; (detail / hgweb)
5. more robust: do not touch unrelated directory isabelle_repos_other (i.e. bad argument); (detail / hgweb)
6. always start with fresh clone (with explicitly given rev): more robust on Windows; (detail / hgweb)
7. reverted 94cad7590015: does not help much on Windows; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. merged (detail / hgweb)
10. updated package; (detail / hgweb)
11. maintain overlays within main state of document models;
    proper pending_input for Isabelle/VSCode; (detail / hgweb)
12. proper treatment of editor overlays; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified modules; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. support for separate proof state output; (detail / hgweb)
17. automatic reformatting; (detail / hgweb)
18. more general dispatcher operations; (detail / hgweb)
19. tuned; (detail / hgweb)
20. clarified modules; (detail / hgweb)
21. tuned; (detail / hgweb)
22. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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