tuned;

--- 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