[isabelle-dev] Isabelle/Scala on Scala 2.8.0 Beta 1
makarius at sketis.net
Tue Mar 30 13:13:43 CEST 2010
Just in case anybody wants to experiment with the Isabelle/Scala layer:
In Isabelle/4f5c7a19ebe0 both Isabelle/Pure.jar and the Isabelle/jEdit
demo application have been ported to Scala 2.8.0 Beta 1, which is
available locally in /home/scala (TUM) or via
http://www.scala-lang.org/downloads as usual.
There are many substantial changes in 2.8.0 compared to the stable 2.7.x
family. It seems that the Scala guys are working on the next big step
forward, at the cost of some incompatibilities.
My main motivation for switching now was the much better Scala Netbeans
plugin for Netbeans 6.8, which requires Scala 2.8.
More information about the isabelle-dev