1.1 --- a/src/Tools/jEdit/README_BUILD	Mon Oct 20 11:35:27 2008 +0200
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Mon Oct 20 11:44:59 2008 +0200
     1.3 @@ -2,6 +2,9 @@
     1.4  Requirements to build from sources
     1.5  ==================================
     1.6  
     1.7 +* Proper Java JRE/JDK from Sun
     1.8 +  http://java.sun.com/javase/downloads/index.jsp
     1.9 +
    1.10  * Netbeans 6.5beta
    1.11    http://download.netbeans.org/netbeans/6.5/beta/
    1.12  
    1.13 @@ -20,3 +23,9 @@
    1.14  * Isabelle/Pure Scala components
    1.15    Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
    1.16  
    1.17 +
    1.18 +Running the application
    1.19 +=======================
    1.20 +
    1.21 +* Proper Isabelle environment, e.g. via
    1.22 +  isabelle env netbeans ...
    1.23 \ No newline at end of file