# HG changeset patch
# User wenzelm
# Date 1442239615 -7200
# Node ID 2a56a53d78f95fb1a60a41ca078ff9951a3989fd
# Parent  dee0aec271b7bfbcad205a3c95ea30446210eaea
tuned message;

diff -r dee0aec271b7 -r 2a56a53d78f9 src/Tools/jEdit/lib/Tools/jedit
--- 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