From 5c3fd9c2deb73844f45966030f451957cc09f3f0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Aug 2009 13:49:44 +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 e7bfa200..c12d42e6 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2972,7 +2972,7 @@ If non-nil, an error is given when an attempt is made to edit the
 read-only region.  If nil, Proof General is more relaxed (but may give
 you a reprimand!).
 
-The default value is @code{strict}.
+The default value is @code{t}.
 @end defopt
 
 @c TEXI DOCSTRING MAGIC: proof-allow-undo-in-read-only
-- 
cgit v1.2.3