#898 (Mar 24, 2019, 12:50:07 AM)

1. updated to ssh-java-20190323 (with jsch-0.1.55.jar); (detail / hgweb)
2. NEWS for proper Isabelle version; (detail / hgweb)
3. obsolete; (detail / hgweb)
4. proper latex setup; (detail / hgweb)
5. updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11; (detail / hgweb)
6. proper command-line; (detail / hgweb)
7. avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND; (detail / hgweb)
8. more explicit opam dependencies; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.