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