Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/component_scala.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/ROOT.scala (diff)
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 (diff)
The file was modified src/Pure/Admin/component_e.scala (diff)
Changeset 79751:05088f901e21 by fabian huch _huch@in.tum.de_:
update NEWS, following 0d7c7fe65638;
The file was modified NEWS (diff)