#948 (Jun 9, 2017, 1:28:03 PM)

1. merged (detail / hgweb)
2. more HTML rendering as in Isabelle/jEdit;
   tuned; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. clarified menu;
   avoid non-portable ALT-mouse combination; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. HTML preview based on PIDE markup; (detail / hgweb)
7. explicit foreground color, for the sake of dark theme in VSCode; (detail / hgweb)
8. tuned layout (amending 8040d2563593); (detail / hgweb)
9. more official session qualifier; (detail / hgweb)
10. clarified; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 3 hr 21 min build duration;
• 3 hr 26 min total from scheduled to completion.