1.1 --- a/src/Doc/System/Interfaces.thy	Fri Dec 06 17:33:45 2013 +0100
     1.2 +++ b/src/Doc/System/Interfaces.thy	Fri Dec 06 21:49:08 2013 +0100
     1.3 @@ -23,8 +23,8 @@
     1.4      -n           no build dialog for session image on startup
     1.5      -s           system build mode for session image
     1.6  
     1.7 -Start jEdit with Isabelle plugin setup and open theory FILES
     1.8 -(default "\$USER_HOME/Scratch.thy").
     1.9 +  Start jEdit with Isabelle plugin setup and open theory FILES
    1.10 +  (default "\$USER_HOME/Scratch.thy").
    1.11  \end{ttbox}
    1.12  
    1.13    The @{verbatim "-l"} option specifies the session name of the logic

     2.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Fri Dec 06 17:33:45 2013 +0100
     2.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Fri Dec 06 21:49:08 2013 +0100
     2.3 @@ -82,8 +82,8 @@
     2.4    echo "    -n           no build dialog for session image on startup"
     2.5    echo "    -s           system build mode for session image"
     2.6    echo
     2.7 -  echo "Start jEdit with Isabelle plugin setup and open theory FILES"
     2.8 -  echo "(default \"$USER_HOME/Scratch.thy\")."
     2.9 +  echo "  Start jEdit with Isabelle plugin setup and open theory FILES"
    2.10 +  echo "  (default \"$USER_HOME/Scratch.thy\")."
    2.11    echo
    2.12    exit 1
    2.13  }