PROOFGENERAL_OPTIONS="-u false";

--- a/doc-src/IsarRef/intro.tex	Fri Oct 15 16:44:37 1999 +0200
+++ b/doc-src/IsarRef/intro.tex	Sat Oct 16 18:56:09 1999 +0200
@@ -35,7 +35,7 @@
 \cite{isabelle-sys}):
 \begin{ttbox}
 ISABELLE_INTERFACE=\$ISABELLE_HOME/contrib/ProofGeneral/isar/interface
-PROOFGENERAL_OPTIONS=""
+PROOFGENERAL_OPTIONS="-u false"
 \end{ttbox}
 You may have to change \texttt{\$ISABELLE_HOME/contrib/ProofGeneral} to the
 actual installation directory of Proof~General.  From now on, the capital