[isabelle-dev] Isabelle/Scala on Scala 2.8.0 Beta 1

Makarius 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 mailing list