--- a/src/Doc/System/Sessions.thy Mon Jun 09 19:55:58 2014 +0200
+++ b/src/Doc/System/Sessions.thy Mon Jun 09 20:41:00 2014 +0200
@@ -44,7 +44,7 @@
organize browser info (\secref{sec:info}), but have no formal
meaning. The default chapter is ``@{text "Unsorted"}''.
- Isabelle/jEdit (\secref{sec:tool-jedit}) includes a simple editing
+ Isabelle/jEdit \cite{isabelle-jedit} includes a simple editing
mode @{verbatim "isabelle-root"} for session ROOT files, which is
enabled by default for any file of that name.
@@ -161,7 +161,7 @@
section {* System build options \label{sec:system-options} *}
text {* See @{file "~~/etc/options"} for the main defaults provided by
- the Isabelle distribution. Isabelle/jEdit (\secref{sec:tool-jedit})
+ the Isabelle distribution. Isabelle/jEdit \cite{isabelle-jedit}
includes a simple editing mode @{verbatim "isabelle-options"} for
this file-format.