#348 (Jun 14, 2017, 12:50:09 AM)

1. clarified signature; (detail / hgweb)
2. added abstract editor operations, notably for Query_Operation; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned; (detail / hgweb)
5. clarified modules; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. updated package; (detail / hgweb)
8. tuned GUI; (detail / hgweb)
9. obsolete; (detail / hgweb)
10. removed pointless entries: not part of api.LanguageEntry; (detail / hgweb)
11. avoid overlapping line background, notably for "quoted"; (detail / hgweb)
12. tuned rendering; (detail / hgweb)
13. tuned; (detail / hgweb)
14. clarified message; (detail / hgweb)
15. retain vacuous CompletionProvider for now; (detail / hgweb)
16. tuned; (detail / hgweb)
17. dynamic configuration of prettify-symbols-mode, similar to VSCoq; (detail / hgweb)
18. obsolete; (detail / hgweb)
19. removed pointless default: vscode.previewHtml happens only after prover response; (detail / hgweb)
20. more markup for HTML rendering; (detail / hgweb)
21. tuned signature; (detail / hgweb)
22. clarified; (detail / hgweb)
23. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 19 min total from scheduled to completion.