src/Tools/jEdit/README_BUILD
changeset 34325 a9b94b8f545e
parent 34324 8fa2711c0fe4
child 34326 9f9e1fe156a8
--- 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