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.