Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. update to jdk-21.0.3; enforce rebuild of Isabelle/ML and Isabelle/Scala;
Changeset 80132:ef2134570abb by wenzelm:
merged
Changeset 80131:68fc6839679e by wenzelm:
update to jdk-21.0.3;<br>enforce rebuild of Isabelle/ML and Isabelle/Scala;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Admin/component_jdk.scala
The file was modified src/Pure/ROOT.ML
The file was modified src/Pure/ROOT.scala