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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
