#159 (Oct 3, 2016, 12:50:07 AM)

1. more operations; (detail / hgweb)
2. more operations; (detail / hgweb)
3. more formal Mercurial support (with the potential to upgrade to command server); (detail / hgweb)
4. tuned whitespace; (detail / hgweb)
5. added isabelle_java cold-start executable; (detail / hgweb)
6. updated according to 85c83757788c; (detail / hgweb)
7. eliminated hard tabs; (detail / hgweb)
8. updated headers; (detail / hgweb)
9. updated to sumatra_pdf-3.1.2; (detail / hgweb)
10. updated to xz-java-1.5; (detail / hgweb)
11. updated cygwin according to 9416333a17c2, still using old 1.7.35-1; (detail / hgweb)
12. tuned; (detail / hgweb)
13. just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.7 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.