# HG changeset patch
# User wenzelm
# Date 940092969 -7200
# Node ID 1baf422ec16a328f2a043f83b8299baa7d1737a6
# Parent  180364256231c8a045a259704139294e61932b5b
PROOFGENERAL_OPTIONS="-u false";

diff -r 180364256231 -r 1baf422ec16a doc-src/IsarRef/intro.tex
--- 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