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 <makarius@sketis.net>
With Isabelle/cdbe20024038 we are moving from scala-3.2.0 to scala-3.2.1. See
also https://github.com/lampepfl/dotty/releases/tag/3.2.1

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

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Apr 24 2024 at 04:17 UTC