[isabelle-dev] scala-2.12.2

Makarius makarius at sketis.net
Fri May 19 21:11:03 CEST 2017


With Isabelle/a43a079156a6 we are on scala-2.12.2, leaving the 2.11.x
behind.

This is a major update, in particular it makes better use of the
underlying Java 8 platform.


	Makarius


More information about the isabelle-dev mailing list