# HG changeset patch
# User wenzelm
# Date 1401030526 -7200
# Node ID db7c735e963df104612981fd30740e022ecabbc8
# Parent  cb212f52c2a32aec3cf237934ffbf2f72ea3b31d
tuned;

diff -r cb212f52c2a3 -r db7c735e963d src/Doc/System/Interfaces.thy
--- a/src/Doc/System/Interfaces.thy	Sat May 24 21:27:15 2014 +0200
+++ b/src/Doc/System/Interfaces.thy	Sun May 25 17:08:46 2014 +0200
@@ -20,7 +20,7 @@
     -j OPTION    add jEdit runtime option (default JEDIT_OPTIONS)
     -l NAME      logic image name (default ISABELLE_LOGIC)
     -m MODE      add print mode for output
-    -n           no build dialog for session image on startup
+    -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
@@ -35,7 +35,8 @@
   By default, the specified image is checked and built on demand. The
   @{verbatim "-s"} option determines where to store the result session
   image (see also \secref{sec:tool-build}). The @{verbatim "-n"}
-  option bypasses the session build dialog.
+  option bypasses the implicit build process for the selected session
+  image.
 
   The @{verbatim "-m"} option specifies additional print modes for the
   prover process.  Note that the system option @{system_option
diff -r cb212f52c2a3 -r db7c735e963d src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sat May 24 21:27:15 2014 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sun May 25 17:08:46 2014 +0200
@@ -87,7 +87,7 @@
   echo "                 (default JEDIT_OPTIONS=$JEDIT_OPTIONS)"
   echo "    -l NAME      logic session name"
   echo "    -m MODE      add print mode for output"
-  echo "    -n           no build dialog for session image on startup"
+  echo "    -n           no build of session image on startup"
   echo "    -s           system build mode for session image"
   echo
   echo "  Start jEdit with Isabelle plugin setup and open theory FILES"