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.
Makarius
_______________________________________________
Isabelle-dev mailing list
Isabelle-dev@mailbroy.informatik.tu-muenchen.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
