*** System ***
* Isabelle/Scala is now based on Scala 3. This is a completely different
compiler ("dotty") and a quite different source language (we are using
the classic Java-style syntax, not the new Python-style syntax).
Occasional INCOMPATIBILITY, see also the official Scala documentation
https://docs.scala-lang.org/scala3/guides/migration/compatibility-intro.html
This refers to Isabelle/21164fd15e3d.
The change looks unexciting, but behind it are many weeks / months of
disentangling assumptions about the Scala environment.
Now everything should be clear, and hopefully there are no remaining surprises.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
