1.1 --- a/src/Tools/jEdit/README_BUILD	Tue Jun 02 21:46:32 2009 +0200
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Tue Jun 02 22:00:28 2009 +0200
     1.3 @@ -2,16 +2,16 @@
     1.4  Requirements to build from sources
     1.5  ==================================
     1.6  
     1.7 -* Proper Java JRE/JDK from Sun, e.g. 1.6.0_07
     1.8 +* Proper Java JRE/JDK from Sun, e.g. 1.6.0_10
     1.9    http://java.sun.com/javase/downloads/index.jsp
    1.10  
    1.11  * Netbeans 6.5
    1.12    http://www.netbeans.org/downloads/index.html
    1.13  
    1.14 -* Scala for Netbeans
    1.15 -  http://blogtrader.net/page/dcaoyuan/entry/new_scala_plugin_for_netbeans
    1.16 +* Scala for Netbeans: version 0.15.1 for NB 6.5
    1.17 +  http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544
    1.18 +  http://blogtrader.net/dcaoyuan/category/NetBeans
    1.19    http://wiki.netbeans.org/Scala
    1.20 -  http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
    1.21  
    1.22  * jEdit 4.3pre16
    1.23    http://www.jedit.org/
    1.24 @@ -33,4 +33,4 @@
    1.25    isabelle env netbeans ...
    1.26  
    1.27  * Project properties: add "Run" argument like
    1.28 -    -settings=/home/makarius/isabelle/jedit
    1.29 +    -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist