From f44ce412cdf7c14ab1f0e0092fc0bc1243346f7f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Sep 2009 07:33:04 +0000
Subject: proof-strict-read-only: Experimental change to default

---
 generic/proof-useropts.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index e4b0b83a..648533f0 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -118,7 +118,7 @@ done if this `proof-strict-state-preserving' is turned off (nil)."
   :type  'boolean
   :group 'proof-user-options)
 
-(defcustom proof-strict-read-only t
+(defcustom proof-strict-read-only 'retract
   "*Whether Proof General is strict about the read-only region in buffers.
 If non-nil, an error is given when an attempt is made to edit the
 read-only region, except for the special value 'retract which means
-- 
cgit v1.2.3