1.1 --- a/doc-src/System/Thy/Sessions.thy	Sat Jul 28 19:38:52 2012 +0200
     1.2 +++ b/doc-src/System/Thy/Sessions.thy	Sat Jul 28 19:48:19 2012 +0200
     1.3 @@ -21,8 +21,8 @@
     1.4    syntax diagram below; each ROOT file may contain multiple session
     1.5    specifications like this.
     1.6  
     1.7 -  Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple
     1.8 -  editing mode for session ROOT files.
     1.9 +  Isabelle/jEdit (\secref{sec:tool-jedit}) includes a simple editing
    1.10 +  mode @{verbatim "isabelle-root"} for session ROOT files.
    1.11  
    1.12    @{rail "
    1.13      @{syntax_def session_entry}: @'session' spec '=' (@{syntax name} '+')? body
    1.14 @@ -126,10 +126,9 @@
    1.15  section {* System build options \label{sec:system-options} *}
    1.16  
    1.17  text {* See @{file "~~/etc/options"} for the main defaults provided by
    1.18 -  the Isabelle distribution.
    1.19 -
    1.20 -  Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple
    1.21 -  editing mode @{verbatim "isabelle-options"} for this file-format.
    1.22 +  the Isabelle distribution.  Isabelle/jEdit (\secref{sec:tool-jedit})
    1.23 +  includes a simple editing mode @{verbatim "isabelle-options"} for
    1.24 +  this file-format.
    1.25  *}
    1.26  
    1.27  

     2.1 --- a/doc-src/System/Thy/document/Sessions.tex	Sat Jul 28 19:38:52 2012 +0200
     2.2 +++ b/doc-src/System/Thy/document/Sessions.tex	Sat Jul 28 19:48:19 2012 +0200
     2.3 @@ -45,8 +45,8 @@
     2.4    syntax diagram below; each ROOT file may contain multiple session
     2.5    specifications like this.
     2.6  
     2.7 -  Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple
     2.8 -  editing mode for session ROOT files.
     2.9 +  Isabelle/jEdit (\secref{sec:tool-jedit}) includes a simple editing
    2.10 +  mode \verb|isabelle-root| for session ROOT files.
    2.11  
    2.12    \begin{railoutput}
    2.13  \rail@begin{2}{\indexdef{}{syntax}{session\_entry}\hypertarget{syntax.session-entry}{\hyperlink{syntax.session-entry}{\mbox{\isa{session{\isaliteral{5F}{\isacharunderscore}}entry}}}}}
    2.14 @@ -235,10 +235,9 @@
    2.15  %
    2.16  \begin{isamarkuptext}%
    2.17  See \verb|~~/etc/options| for the main defaults provided by
    2.18 -  the Isabelle distribution.
    2.19 -
    2.20 -  Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple
    2.21 -  editing mode \verb|isabelle-options| for this file-format.%
    2.22 +  the Isabelle distribution.  Isabelle/jEdit (\secref{sec:tool-jedit})
    2.23 +  includes a simple editing mode \verb|isabelle-options| for
    2.24 +  this file-format.%
    2.25  \end{isamarkuptext}%
    2.26  \isamarkuptrue%
    2.27  %