#276 (Mar 8, 2017, 12:50:08 AM)

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)
13. Tuned generation of elimination rules in function package (detail / hgweb)

Started by an SCM change

This run spent:

• 6.6 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.