Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. avoid problems with launch4j and jdk-17;
  2. update to jdk-17+35 (LTS);
  3. tuned message;
Changeset 74357:41d009462d3c by wenzelm:
avoid problems with launch4j and jdk-17;
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/isabelle_devel.scala
Changeset 74356:2a3fe3489bae by wenzelm:
update to jdk-17+35 (LTS);
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Admin/build_jdk.scala
The file was modified src/Pure/ROOT.scala
Changeset 74355:f77474665b2f by wenzelm:
tuned message;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Tools/Setup/src/Build.java