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