[isabelle-dev] Update to scala-3.3.3

Makarius makarius at sketis.net
Fri Mar 1 21:47:02 CET 2024

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.


More information about the isabelle-dev mailing list