#235 (Jan 16, 2017, 12:51:07 AM)

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)
7. clarified packages (for z3); (detail / hgweb)
8. proper tag syntax; (detail / hgweb)
9. clarified packages;
   tuned message; (detail / hgweb)
10. clarified packages; (detail / hgweb)
11. more options; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.7 sec waiting;
• 1 hr 6 min build duration;
• 1 hr 6 min total from scheduled to completion.