System: Isabelle/Scala is now based on Scala 3
- 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.
Written by makarius on Jul 6 2022, 5:14 PM.