[isabelle-dev] Update to scala-2.12.3

Makarius makarius at sketis.net
Tue Aug 15 11:57:03 CEST 2017

As of Isabelle/96ad7d5ff613 we are on current scala-2.12.3, see also

The changeset ensures a full rebuild of all Isabelle/ML and
Isabelle/Scala, to avoid surprises we've seen in past Scala updates.


More information about the isabelle-dev mailing list