# HG changeset patch
# User wenzelm
# Date 1355579108 -3600
# Node ID 8c3c7f1588614f6d13bfb9a042f6c6f602e3f475
# Parent  91c716c848c25276a0335472eea6d39767867d8e
tuned command line;

diff -r 91c716c848c2 -r 8c3c7f158861 src/Doc/System/Interfaces.thy
--- a/src/Doc/System/Interfaces.thy	Sat Dec 15 14:38:37 2012 +0100
+++ b/src/Doc/System/Interfaces.thy	Sat Dec 15 14:45:08 2012 +0100
@@ -23,8 +23,8 @@
     -n           no build dialog for session image on startup
     -s           system build mode for session image
 
-Start jEdit with Isabelle plugin setup and opens theory FILES
-(default Scratch.thy).
+Start jEdit with Isabelle plugin setup and open theory FILES
+(default "\$USER_HOME/Scratch.thy").
 \end{ttbox}
 
   The @{verbatim "-l"} option specifies the session name of the logic
diff -r 91c716c848c2 -r 8c3c7f158861 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Dec 15 14:38:37 2012 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Dec 15 14:45:08 2012 +0100
@@ -75,7 +75,7 @@
   echo "    -n           no build dialog for session image on startup"
   echo "    -s           system build mode for session image"
   echo
-  echo "Start jEdit with Isabelle plugin setup and opens theory FILES"
+  echo "Start jEdit with Isabelle plugin setup and open theory FILES"
   echo "(default \"$USER_HOME/Scratch.thy\")."
   echo
   exit 1