From 83fcbae1f0d3a115740e91bc3aa2681d1f139ebd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Jun 2000 19:26:47 +0000
Subject: Updated magic.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3