--- a/src/Doc/System/Scala.thy Mon Jun 09 19:55:58 2014 +0200
+++ b/src/Doc/System/Scala.thy Mon Jun 09 20:41:00 2014 +0200
@@ -8,7 +8,7 @@
environments for Isabelle tool implementations. There are some basic
command-line tools to work with the underlying Java Virtual Machine,
the Scala toplevel and compiler. Note that Isabelle/jEdit
-(\secref{sec:tool-tty}) provides a Scala Console for interactive
+\cite{isabelle-jedit} provides a Scala Console for interactive
experimentation within the running application. *}
@@ -66,7 +66,7 @@
add-on components can register themselves in a modular manner, see
also \secref{sec:components}.
- Note that jEdit (\secref{sec:tool-jedit}) has its own mechanisms for
+ Note that jEdit \cite{isabelle-jedit} has its own mechanisms for
adding plugin components, which needs special attention since
it overrides the standard Java class loader. *}