[isabelle-dev] NEWS: Isabelle/Scala is now based on Scala 3

Makarius makarius at sketis.net
Wed Jul 6 17:16:39 CEST 2022

*** 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

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.


More information about the isabelle-dev mailing list