# HG changeset patch
# User wenzelm
# Date 1386362948 -3600
# Node ID 6587c627a9db12c28e0cc190c646f7e3576eb81a
# Parent  8a8e6db7f391fcd4080dd032b34a3edae040324a
tuned;

diff -r 8a8e6db7f391 -r 6587c627a9db src/Doc/System/Interfaces.thy
--- a/src/Doc/System/Interfaces.thy	Fri Dec 06 17:33:45 2013 +0100
+++ b/src/Doc/System/Interfaces.thy	Fri Dec 06 21:49:08 2013 +0100
@@ -23,8 +23,8 @@
     -n           no build dialog for session image on startup
     -s           system build mode for session image
 
-Start jEdit with Isabelle plugin setup and open theory FILES
-(default "\$USER_HOME/Scratch.thy").
+  Start jEdit with Isabelle plugin setup and open theory FILES
+  (default "\$USER_HOME/Scratch.thy").
 \end{ttbox}
 
   The @{verbatim "-l"} option specifies the session name of the logic
diff -r 8a8e6db7f391 -r 6587c627a9db src/Tools/jEdit/lib/Tools/jedit
--- 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
 }