#702 (Jan 15, 2017, 5:20:04 PM)

1. afford approx. 10MB for curl, e.g. required for "isabelle components"; (detail / hgweb)
2. updated to jvm-1.8; (detail / hgweb)
3. uniform use of ISABELLE_SCALAC_OPTIONS for scalac, notably for -Xmax-classfile-name on encrypted or docker file-systems; (detail / hgweb)
4. clarified settings; (detail / hgweb)
5. clarified signature: packages may be accessed in Isabelle/Scala; (detail / hgweb)
6. tuned whitespace; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 33 min total from scheduled to completion.