Stream: Mirror: Isabelle Development Mailing List

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

view this post on Zulip Email Gateway (Mar 01 2024 at 20:47):

From: Makarius <makarius@sketis.net>
Isabelle/a66588206ec5 now uses current scala-3.3.3.

Unlike Java updates, there is always some thrill and potential danger in Scala
updates: scala-3.3.2 had to be withdrawn
https://github.com/lampepfl/dotty/releases/tag/3.3.2 --- these guys are a bit
too "cool" to produce very high quality.

Makarius

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

Last updated: Apr 28 2024 at 01:11 UTC