From e3acc5a216a2270164d94bf0df3dce787d69def2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 14:20:00 +0000
Subject: Updated.

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index a3b1695f..dafebb1c 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1997,7 +1997,7 @@ suggestions for improvements are welcomed).
 By default, experimental features are turned on in development
 releases and turned off in stable releases.
 
-The default value is @code{t}.
+The default value is @code{nil}.
 @end defopt
 
 
-- 
cgit v1.2.3