Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
  2. provide scala-3.3.0;
  3. more NEWS;
  4. tuned NEWS;
Changeset 78126:163e4835a8db by wenzelm:
enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
The file was modified Admin/components/main
The file was modified src/Pure/ROOT.ML
The file was modified src/Pure/ROOT.scala
Changeset 78125:96e2c2bbacbd by wenzelm:
provide scala-3.3.0;
The file was modified Admin/components/components.sha1
The file was modified src/Pure/Admin/component_scala.scala
Changeset 78124:9609085da969 by wenzelm:
more NEWS;
The file was modified NEWS
Changeset 78123:26b31f402948 by wenzelm:
tuned NEWS;
The file was modified NEWS