--- 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.
*}
--- 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%
%