updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
authorwenzelm
Sun, 07 Jun 2009 20:45:03 +0200
changeset 34606 76509ef6f1b6
parent 34605 378537df7fff
child 34607 bb30b5056db6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
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