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

[Makarius]

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.


 	Makarius