Stream: Mirror: Isabelle Development Mailing List

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

view this post on Zulip Email Gateway (Jul 06 2022 at 15:17):

From: Makarius <>
* System *

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.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC