[isabelle-dev] Netbeans 6.5 and Scala

Makarius makarius at sketis.net
Wed Nov 19 17:02:10 CET 2008

For those working with Scala (which is more and more becoming an important 
part in Isabelle interfaces to the outside world) it might be interesting 
to get the latest Netbeans 6.5 released today:


The excellent Scala plugin is not yet part of the official Netbeans 
repository yet, but see here


This description is for 6.5 RC2 and works for 6.5 final unchanged.  The 
plugin uses the current Scala 2.7.2.final.


More information about the isabelle-dev mailing list