Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- update to scala-3.3.3; enforce rebuild of Isabelle/Scala + Isabelle/ML;
- provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;
- update NEWS, following 0d7c7fe65638;
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 |
The file was modified | Admin/components/components.sha1 |
The file was modified | src/Pure/Admin/component_e.scala |
The file was modified | NEWS |