Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Update to scala-3.2.1

view this post on Zulip Email Gateway (Nov 25 2022 at 22:06):

From: Makarius <>
With Isabelle/cdbe20024038 we are moving from scala-3.2.0 to scala-3.2.1. See

Lets hope that nothing bad is going to happen: Scala updates often had hidden
problems that showed up only later.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC