# HG changeset patch
# User wenzelm
# Date 1116773464 -7200
# Node ID 9e57d19cb21c7692b34e4112f83c3550d5aa187f
# Parent  571634d68a8ec7ebc4e3d86de41d6f209be0bd7e
tuned;

diff -r 571634d68a8e -r 9e57d19cb21c doc-src/IsarRef/intro.tex
--- a/doc-src/IsarRef/intro.tex	Sun May 22 16:51:04 2005 +0200
+++ b/doc-src/IsarRef/intro.tex	Sun May 22 16:51:04 2005 +0200
@@ -124,7 +124,7 @@
 given by the \texttt{PROOFGENERAL_OPTIONS} setting.  For example, the Emacs
 executable to be used may be configured in Isabelle's settings like this:
 \begin{ttbox}
-PROOFGENERAL_OPTIONS="-p xemacs-nomule"  
+PROOFGENERAL_OPTIONS="-p xemacs-mule"  
 \end{ttbox}
 
 Occasionally, a user's \verb,~/.emacs, file contains code that is incompatible