# HG changeset patch
# User wenzelm
# Date 1315654989 -7200
# Node ID fe711df09fd92e81c95a481a1e79a6127b31aa0b
# Parent  329ced2615ebedbc57e53c10dd55c1e6362228a7
tuned usage;

diff -r 329ced2615eb -r fe711df09fd9 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Sep 10 13:41:03 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Sep 10 13:43:09 2011 +0200
@@ -57,6 +57,7 @@
   echo "    -m MODE      add print mode for output"
   echo
   echo "Start jEdit with Isabelle plugin setup and opens theory FILES"
+  echo "(default Scratch.thy)."
   echo
   exit 1
 }