# HG changeset patch
# User wenzelm
# Date 1224495899 -7200
# Node ID a9b94b8f545e8840e50aa1663e0090a056ee7b2f
# Parent  8fa2711c0fe44fdd258ac7a463803d01e2c60c6c
requires Java from Sun;
hints on running;

diff -r 8fa2711c0fe4 -r a9b94b8f545e src/Tools/jEdit/README_BUILD
--- 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