#489 (Oct 2, 2016, 3:01:03 PM)

1. eliminated hard tabs; (detail / hgweb)
2. updated headers; (detail / hgweb)
3. updated to sumatra_pdf-3.1.2; (detail / hgweb)
4. updated to xz-java-1.5; (detail / hgweb)
5. updated cygwin according to 9416333a17c2, still using old 1.7.35-1; (detail / hgweb)
6. tuned; (detail / hgweb)
7. 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 min 1 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 36 min total from scheduled to completion.