--- a/src/Tools/jEdit/lib/Tools/jedit Fri Dec 06 17:33:45 2013 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit Fri Dec 06 21:49:08 2013 +0100
@@ -82,8 +82,8 @@
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 open theory FILES"
- echo "(default \"$USER_HOME/Scratch.thy\")."
+ echo " Start jEdit with Isabelle plugin setup and open theory FILES"
+ echo " (default \"$USER_HOME/Scratch.thy\")."
echo
exit 1
}