1.1 --- a/src/Tools/jEdit/README_BUILD	Tue Jun 30 21:22:50 2009 +0200
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Fri Jul 03 21:54:00 2009 +0200
     1.3 @@ -5,10 +5,10 @@
     1.4  * Proper Java JRE/JDK from Sun, e.g. 1.6.0_10
     1.5    http://java.sun.com/javase/downloads/index.jsp
     1.6  
     1.7 -* Netbeans 6.5 or 6.7
     1.8 +* Netbeans 6.7
     1.9    http://www.netbeans.org/downloads/index.html
    1.10  
    1.11 -* Scala for Netbeans: version 0.15.1 for NB 6.5, or version 6.7v1 for NB 6.7
    1.12 +* Scala for Netbeans: version 6.7v1 for NB 6.7
    1.13    http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544
    1.14    http://blogtrader.net/dcaoyuan/category/NetBeans
    1.15    http://wiki.netbeans.org/Scala
    1.16 @@ -16,7 +16,12 @@
    1.17  * jEdit 4.3pre16
    1.18    http://www.jedit.org/
    1.19  
    1.20 -  Netbeans Project "jEdit": unpack official sources in ./contrib/jEdit
    1.21 +  Netbeans Project "jEdit": install official sources as ./contrib/jEdit
    1.22 +
    1.23 +* jEdit plugins:
    1.24 +    Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar
    1.25 +    Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
    1.26 +    Netbeans Library "HyperLink" = $HOME/.jedit/jars/Hyperlinks.jar
    1.27  
    1.28  * Flying Saucer XHTML renderer
    1.29    https://xhtmlrenderer.dev.java.net/
    1.30 @@ -32,16 +37,15 @@
    1.31  * Project properties: add "Run" argument like
    1.32      -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist
    1.33  
    1.34 -* The Isabelle environment is obtained automatically via "isabelle
    1.35 -  getenv", which is determined as follows:
    1.36 +* The Isabelle environment is obtained automatically via
    1.37 +  "$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows:
    1.38  
    1.39 -    (1) via ISABELLE_TOOL from regular Isabelle settings,
    1.40 -    	e.g. "isabelle env netbeans"
    1.41 +    (1) via regular Isabelle settings,
    1.42 +    e.g. "isabelle env netbeans"
    1.43  
    1.44 -    (2) or via ISABELLE_TOOL from raw process environment,
    1.45 -    	e.g. "env ISABELLE_TOOL=.../bin/isabelle netbeans"
    1.46 +    (2) or via ISABELLE_HOME from raw process environment,
    1.47 +    	e.g. "env ISABELLE_HOME=.../Isabelle netbeans"
    1.48  
    1.49      (3) or via JVM system properties (cf. "Run / VM Options")
    1.50 -    	e.g. -Disabelle.tool=.../bin/isabelle
    1.51 +    	e.g. -Disabelle.home=.../Isabelle
    1.52  
    1.53 -    (4) or via "isabelle" found in PATH