--- 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