#959 (Mar 23, 2019, 8:41:06 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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:

• 2 min 2 sec waiting;
• 6 min 17 sec build duration;
• 8 min 20 sec total from scheduled to completion.