--- a/doc-src/System/Thy/document/Basics.tex Tue Sep 16 14:40:30 2008 +0200
+++ b/doc-src/System/Thy/document/Basics.tex Tue Sep 16 14:48:51 2008 +0200
@@ -528,8 +528,8 @@
\medskip Note that the world may be also seen the other way round:
Emacs may be started first (with proper setup of Proof General
- mode), and \hyperlink{executable.isabelle}{\mbox{\isa{\isatt{isabelle}}}} run from within. This requires
- further Emacs Lisp configuration, see the Proof General
+ mode), and \hyperlink{executable.isabelle-process}{\mbox{\isa{\isatt{isabelle{\isacharminus}process}}}} run from within. This
+ requires further Emacs Lisp configuration, see the Proof General
documentation \cite{proofgeneral} for more information.%
\end{isamarkuptext}%
\isamarkuptrue%