#341 (Jun 2, 2017, 12:50:10 AM)

1. updated package; (detail / hgweb)
2. proper markup for IsabelleText font; (detail / hgweb)
3. generate CSS for Isabelle fonts; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. output control symbols like ML version, with optionally hidden source; (detail / hgweb)
7. use css from Isabelle distribution; (detail / hgweb)
8. clarified output; (detail / hgweb)
9. proper update of already existing preview; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. tuned; (detail / hgweb)
13. uniform output of HTML as XML;
    discontinued special cases of 041dc6d8d344; (detail / hgweb)
14. tuned layout; (detail / hgweb)
15. modernized generated HTML; (detail / hgweb)
16. tuned signature;
    tuned; (detail / hgweb)
17. added update operation; (detail / hgweb)
18. clarified name;
    tuned whitespace; (detail / hgweb)
19. register commands earlier, before prover startup; (detail / hgweb)
20. explicit preview request/response;
    commands, icons, menus like VSCode markdown preview;
    clarified Uri information (again);
    tuned; (detail / hgweb)
21. tuned layout; (detail / hgweb)
22. more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/ (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.