#346 (Jun 10, 2017, 1:11:48 AM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. clarified output for symbol completion; (detail / hgweb)
4. tuned; (detail / hgweb)
5. more uniform syntax_completion + semantic_completion; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. provide information about Isabelle symbols within VSCode; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. Cleaned up and extended Probability/Tree_Space (detail / hgweb)
10. HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections (detail / hgweb)
11. avoid markup, for the sake of Build_Log.Log_File.parse_props; (detail / hgweb)
12. more robust: store important meta info before potential failure; (detail / hgweb)
13. tuned message; (detail / hgweb)
14. merged (detail / hgweb)
15. more HTML rendering as in Isabelle/jEdit;
    tuned; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. clarified menu;
    avoid non-portable ALT-mouse combination; (detail / hgweb)
18. clarified signature; (detail / hgweb)
19. HTML preview based on PIDE markup; (detail / hgweb)
20. explicit foreground color, for the sake of dark theme in VSCode; (detail / hgweb)
21. tuned layout (amending 8040d2563593); (detail / hgweb)
22. more official session qualifier; (detail / hgweb)
23. clarified; (detail / hgweb)
24. replace non-arithmetic terms by fresh variables before replaying linear-arithmetic proofs: avoid failed proof replays due to an overambitious simpset which may cause proof replay to diverge from the pre-computed proof trace (detail / hgweb)

Started by an SCM change

This run spent:

• 21 min waiting;
• 1 hr 19 min build duration;
• 1 hr 41 min total from scheduled to completion.