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