# HG changeset patch
# User wenzelm
# Date 1224623763 -7200
# Node ID b7fdb6b14e0b792cbf1fe1854ed273d8e0979234
# Parent  5d5b69f2956b189acd16dbb4e672465f83f1b4d6
hint on -settings=...;

diff -r 5d5b69f2956b -r b7fdb6b14e0b src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Tue Oct 21 22:28:58 2008 +0200
+++ b/src/Tools/jEdit/README_BUILD	Tue Oct 21 23:16:03 2008 +0200
@@ -24,8 +24,11 @@
   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
 
 
-Running the application
-=======================
+Running the application within Netbeans
+=======================================
 
 * Proper Isabelle environment, e.g. via
   isabelle env netbeans ...
+
+* Project properties: add "Run" argument like
+    -settings=/home/makarius/isabelle/jedit