Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. update to jdk-21.0.3; enforce rebuild of Isabelle/ML and Isabelle/Scala;
  3. merged
  4. Tidied up horrible archaic proofs
  5. clarified signature;
  6. make adhoc_overloading respect type constraints
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 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/component_jdk.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/ROOT.scala (diff)
Changeset 80130:8262d4f63b58 by paulson:
merged
Changeset 80129:601ff5c7cad5 by paulson _lp15@cam.ac.uk_:
Tidied up horrible archaic proofs
The file was modified src/HOL/Nominal/Nominal.thy (diff)
Changeset 80128:2fe244c4bb01 by wenzelm:
clarified signature;
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_benchmark.scala (diff)
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
The file was modified src/Pure/Build/sessions.scala (diff)
The file was modified src/Pure/Build/store.scala (diff)
Changeset 80127:39f9084a9668 by kevin kappelmann _kevin.kappelmann@tum.de_:
make adhoc_overloading respect type constraints
The file was modified src/HOL/Library/adhoc_overloading.ML (diff)