From 779466b0ead451de11b91da93e9bafb08a1088cc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 21 Jul 2008 16:37:10 +0000
Subject: Default proof-allow-undo-in-read-only to t

---
 generic/proof-config.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index fe31721e..b7790a59 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -195,10 +195,10 @@ you a reprimand!)."
   :set   'proof-set-value
   :group 'proof-user-options)
 
-(defcustom proof-allow-undo-in-read-only nil
+(defcustom proof-allow-undo-in-read-only t
   "*Whether Proof General allows text undo in the read-only region.
-If non-nil, undo will allow altering of processed text (default behaviour
-before Proof General 3.7).  If nil, undo history is cut at first edit
+If non-nil, undo will allow altering of processed text.
+If nil, undo history is cut at first edit
 of processed text.  NB: the history manipulation only works on GNU Emacs."
   :type  'boolean
   :group 'proof-user-options)
-- 
cgit v1.2.3