#937 (Jun 1, 2017, 11:31:04 PM)

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)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 32 min build duration;
• 1 hr 37 min total from scheduled to completion.