#936 (Jun 1, 2017, 11:19:04 AM)

1. tuned layout; (detail / hgweb)
2. modernized generated HTML; (detail / hgweb)
3. tuned signature;
   tuned; (detail / hgweb)
4. added update operation; (detail / hgweb)
5. clarified name;
   tuned whitespace; (detail / hgweb)
6. register commands earlier, before prover startup; (detail / hgweb)
7. explicit preview request/response;
   commands, icons, menus like VSCode markdown preview;
   clarified Uri information (again);
   tuned; (detail / hgweb)
8. tuned layout; (detail / hgweb)
9. more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/ (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 54 min build duration;
• 59 min total from scheduled to completion.