#954 (Jun 13, 2017, 11:07:06 AM)

1. removed pointless entries: not part of api.LanguageEntry; (detail / hgweb)
2. avoid overlapping line background, notably for "quoted"; (detail / hgweb)
3. tuned rendering; (detail / hgweb)
4. tuned; (detail / hgweb)
5. clarified message; (detail / hgweb)
6. retain vacuous CompletionProvider for now; (detail / hgweb)
7. tuned; (detail / hgweb)
8. dynamic configuration of prettify-symbols-mode, similar to VSCoq; (detail / hgweb)
9. obsolete; (detail / hgweb)
10. removed pointless default: vscode.previewHtml happens only after prover response; (detail / hgweb)
11. more markup for HTML rendering; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. clarified; (detail / hgweb)
14. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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