#663 (Jan 2, 2017, 6:17:02 PM)

1. updated package; (detail / hgweb)
2. avoid hardwired options: use isabelle.args settings instead; (detail / hgweb)
3. support for Windows; (detail / hgweb)
4. proper bootstrap name, e.g. for Pure.thy; (detail / hgweb)
5. more robust startup; (detail / hgweb)
6. more specific isabelle-ml language support; (detail / hgweb)
7. tuned; (detail / hgweb)
8. proper use of isabelle-ml; (detail / hgweb)
9. grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist (detail / hgweb)
10. clarified multiple tooltips; (detail / hgweb)
11. proper content format; (detail / hgweb)
12. more syntax;
    tuned; (detail / hgweb)
13. more syntax;
    tuned; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned; (detail / hgweb)
16. more keywords; (detail / hgweb)
17. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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