[isabelle-dev] HOL-Codegenerator_Test and scala-2.10.0-M2

Makarius makarius at sketis.net
Wed Nov 21 14:29:34 CET 2012

On Wed, 21 Nov 2012, Makarius wrote:

> We are officially still on stable scala-2.9.2, but the Scala guys are moving 
> slowly towards scala-2.10.0, so it is worth testing that aready.

I've got the subject wrong: the tested version is scala-2.10.0-RC2.

The scala guys have introduced a new version sub-scheme: first a bunch of 
"miltstones" M1, M2, M3, ... then "release candidates" RC1, RC2, ..., then 
release .0 followed by updates .1, .2, .3, maybe even more than that.


More information about the isabelle-dev mailing list