Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. update to scala-3.3.3; enforce rebuild of Isabelle/Scala + Isabelle/ML;
  2. provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;
  3. update NEWS, following 0d7c7fe65638;
Changeset 79753:a66588206ec5 by wenzelm:
update to scala-3.3.3;<br>enforce rebuild of Isabelle/Scala + Isabelle/ML;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Admin/component_scala.scala
The file was modified src/Pure/ROOT.ML
The file was modified src/Pure/ROOT.scala
Changeset 79752:788f11af9822 by wenzelm:
provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;
The file was modified Admin/components/components.sha1
The file was modified src/Pure/Admin/component_e.scala
Changeset 79751:05088f901e21 by fabian huch _huch@in.tum.de_:
update NEWS, following 0d7c7fe65638;
The file was modified NEWS