#793 (Mar 7, 2017, 8:44:43 PM)

1. updated package; (detail / hgweb)
2. merged (detail / hgweb)
3. decorations for text color; (detail / hgweb)
4. tuned; (detail / hgweb)
5. more generic colors; (detail / hgweb)
6. tuned; (detail / hgweb)
7. decorations for spell-checker; (detail / hgweb)
8. clarified modules; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. clarified modules: spell-checker in Pure; (detail / hgweb)
11. added admin tool "isabelle build_vscode"; (detail / hgweb)
12. clarified options; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 56 min build duration;
• 1 hr 1 min total from scheduled to completion.