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 61171 2a56a53d78f9
parent 61133 c6d62d092246
child 61208 19118f9b939d 
--- a/src/Tools/jEdit/lib/Tools/jedit	Mon Sep 14 16:06:32 2015 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Mon Sep 14 16:06:55 2015 +0200
@@ -104,7 +104,7 @@
   echo "    -n           no build of 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 "  Start jEdit with Isabelle plugin setup and open FILES"
   echo "  (default \"$USER_HOME/Scratch.thy\")."
   echo
   exit 1
isabelle