--- 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
--- 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