The latest spec for 2.12 is available at http://www.scala-lang.org/files/archive/spec/2.12/