--- a/src/Doc/JEdit/JEdit.thy Fri Oct 23 21:03:16 2015 +0200
+++ b/src/Doc/JEdit/JEdit.thy Sat Oct 24 13:42:31 2015 +0200
@@ -236,8 +236,8 @@
-n no build of 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").\<close>}
+ Start jEdit with Isabelle plugin setup and open FILES
+ (default "$USER_HOME/Scratch.thy" or ":" for empty buffer).\<close>}
The \<^verbatim>\<open>-l\<close> option specifies the session name of the logic
image to be used for proof processing. Additional session root