[isabelle-dev] Netbeans 6.5 and Scala

[Makarius]

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:

  http://www.netbeans.org/downloads/index.html

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

  http://blogtrader.net/page/dcaoyuan/entry/new_scala_plugin_for_netbeans

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


	Makarius