changeset 7875 | 1baf422ec16a |
parent 7836 | 7a9270282fd3 |
child 7895 | 7c492d8bc8e3 |
--- 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