author | wenzelm |
Sun, 22 May 2005 16:51:04 +0200 | |
changeset 16016 | 9e57d19cb21c |
parent 16015 | 571634d68a8e |
child 16017 | cb983795bcdf |
--- 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