# HG changeset patch
# User wenzelm
# Date 1244400303 -7200
# Node ID 76509ef6f1b627b03fb86ce9735e9a36f8090cc6
# Parent  378537df7fff55e94cecb71937e24e4e1dd1871a
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";

diff -r 378537df7fff -r 76509ef6f1b6 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Sun Jun 07 20:17:27 2009 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sun Jun 07 20:45:03 2009 +0200
@@ -29,8 +29,19 @@
 Running the application within Netbeans
 =======================================
 
-* Proper Isabelle environment, e.g. via
-  isabelle env netbeans ...
-
 * Project properties: add "Run" argument like
     -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist
+
+* The Isabelle environment is obtained automatically via "isabelle
+  getenv", which is determined as follows:
+
+    (1) via ISABELLE_TOOL from regular Isabelle settings,
+    	e.g. "isabelle env netbeans"
+
+    (2) or via ISABELLE_TOOL from raw process environment,
+    	e.g. "env ISABELLE_TOOL=.../bin/isabelle netbeans"
+
+    (3) or via JVM system properties (cf. "Run / VM Options")
+    	e.g. -Disabelle.tool=.../bin/isabelle
+
+    (4) or via "isabelle" found in PATH