--- a/src/Tools/jEdit/README_BUILD Mon Oct 20 11:35:27 2008 +0200
+++ b/src/Tools/jEdit/README_BUILD Mon Oct 20 11:44:59 2008 +0200
@@ -2,6 +2,9 @@
Requirements to build from sources
==================================
+* Proper Java JRE/JDK from Sun
+ http://java.sun.com/javase/downloads/index.jsp
+
* Netbeans 6.5beta
http://download.netbeans.org/netbeans/6.5/beta/
@@ -20,3 +23,9 @@
* Isabelle/Pure Scala components
Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
+
+Running the application
+=======================
+
+* Proper Isabelle environment, e.g. via
+ isabelle env netbeans ...
\ No newline at end of file