--- 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%
%