# HG changeset patch
# User wenzelm
# Date 1221569331 -7200
# Node ID fc61c147667b3996eed556334ff76cc71e217269
# Parent  398bf960d3d432b3745eefa610162fea895c377b
updated generated file;

diff -r 398bf960d3d4 -r fc61c147667b doc-src/System/Thy/document/Basics.tex
--- 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%