Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/lib/Tools/jedit
changeset 50550 8c3c7f158861
parent 50546 1b01a57d2749
child 50655 1656248e673f 
--- 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
isabelle