Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated to ssh-java-20190323 (with jsch-0.1.55.jar);
  2. NEWS for proper Isabelle version;
  3. obsolete;
  4. proper latex setup;
  5. updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11;
  6. proper command-line;
  7. avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND;
  8. more explicit opam dependencies;
Changeset 69961:708743578e45 by wenzelm:
updated to ssh-java-20190323 (with jsch-0.1.55.jar);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 69960:eff4ff8ba515 by wenzelm:
NEWS for proper Isabelle version;
The file was modified NEWS (diff)
Changeset 69959:795ca58cee29 by wenzelm:
obsolete;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 69958:70dc3c4e9469 by wenzelm:
proper latex setup;
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 69957:e3217c6d6467 by wenzelm:
updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11;
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 69956:800ec9074701 by wenzelm:
proper command-line;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 69955:160fcaf502d7 by wenzelm:
avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69954:96905404ffba by wenzelm:
more explicit opam dependencies;
The file was addedAdmin/ocaml/opam/x86_64-cygwin/opam
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/ocaml/opam/README (diff)