# HG changeset patch
# User wenzelm
# Date 1343497699 -7200
# Node ID c6bed330fc073ed6013db99c8ae94a4d375f8eb0
# Parent  240d6a6771938ffef92b5eebff01cdd98ec236f0
tuned;

diff -r 240d6a677193 -r c6bed330fc07 doc-src/System/Thy/Sessions.thy
--- a/doc-src/System/Thy/Sessions.thy	Sat Jul 28 19:38:52 2012 +0200
+++ b/doc-src/System/Thy/Sessions.thy	Sat Jul 28 19:48:19 2012 +0200
@@ -21,8 +21,8 @@
   syntax diagram below; each ROOT file may contain multiple session
   specifications like this.
 
-  Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple
-  editing mode for session ROOT files.
+  Isabelle/jEdit (\secref{sec:tool-jedit}) includes a simple editing
+  mode @{verbatim "isabelle-root"} for session ROOT files.
 
   @{rail "
     @{syntax_def session_entry}: @'session' spec '=' (@{syntax name} '+')? body
@@ -126,10 +126,9 @@
 section {* System build options \label{sec:system-options} *}
 
 text {* See @{file "~~/etc/options"} for the main defaults provided by
-  the Isabelle distribution.
-
-  Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple
-  editing mode @{verbatim "isabelle-options"} for this file-format.
+  the Isabelle distribution.  Isabelle/jEdit (\secref{sec:tool-jedit})
+  includes a simple editing mode @{verbatim "isabelle-options"} for
+  this file-format.
 *}
 
 
diff -r 240d6a677193 -r c6bed330fc07 doc-src/System/Thy/document/Sessions.tex
--- a/doc-src/System/Thy/document/Sessions.tex	Sat Jul 28 19:38:52 2012 +0200
+++ b/doc-src/System/Thy/document/Sessions.tex	Sat Jul 28 19:48:19 2012 +0200
@@ -45,8 +45,8 @@
   syntax diagram below; each ROOT file may contain multiple session
   specifications like this.
 
-  Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple
-  editing mode for session ROOT files.
+  Isabelle/jEdit (\secref{sec:tool-jedit}) includes a simple editing
+  mode \verb|isabelle-root| for session ROOT files.
 
   \begin{railoutput}
 \rail@begin{2}{\indexdef{}{syntax}{session\_entry}\hypertarget{syntax.session-entry}{\hyperlink{syntax.session-entry}{\mbox{\isa{session{\isaliteral{5F}{\isacharunderscore}}entry}}}}}
@@ -235,10 +235,9 @@
 %
 \begin{isamarkuptext}%
 See \verb|~~/etc/options| for the main defaults provided by
-  the Isabelle distribution.
-
-  Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple
-  editing mode \verb|isabelle-options| for this file-format.%
+  the Isabelle distribution.  Isabelle/jEdit (\secref{sec:tool-jedit})
+  includes a simple editing mode \verb|isabelle-options| for
+  this file-format.%
 \end{isamarkuptext}%
 \isamarkuptrue%
 %