Scala 2.12.0 has been release yesterday. It is a major update, see also
http://scala-lang.org/news/2.12.0
I was a bit too quick to follow: .0 only means another release candidate
in the Scala universe. So 85adb337e32f is now mostly reverted by
857acb970dfa.
People who want to test scala-2.12.0
Dear Isabelle developers and users,
our provider for some of our VMs has announced a scheduled maintenance,
lasting from November 8 to November 11.
The following parts of our infrastructure will be disrupted:
- AFP submission service
- "nightly slow" builds
Since we're in the release phase
