Am 21.11.2012 14:29, schrieb 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.
I'll have a look at it.
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
