diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-09 19:26:47 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-09 19:26:47 +0000 |
| commit | 83fcbae1f0d3a115740e91bc3aa2681d1f139ebd (patch) | |
| tree | 1ee0af0ff29bf34c75f5b1139aa6d6c0481f43ad /doc | |
| parent | ddbf6de3ec04979ef9a15dfd9c616e17cca83ba6 (diff) | |
Updated magic.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 01751d12..675ddc9d 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2672,7 +2672,7 @@ next start Proof General. * The default value for XEmacs built for solaris is nil, because of unreliabilities with enablers there. -The default value is @code{nil}. +The default value is @code{t}. @end defopt @c This one removed: proof-auto-retract |