[isabelle-dev] Update to scala-3.2.1

Makarius makarius at sketis.net
Fri Nov 25 23:06:21 CET 2022


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


More information about the isabelle-dev mailing list