From 52096babd73fdefd3791b9351cb8cf055f096ee3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Aug 2010 23:53:06 +0000
Subject: proof-allow-undo-in-read-only: remove, use proof-strict-read-only
 instead.

---
 doc/ProofGeneral.texi     | 9 ---------
 generic/proof-useropts.el | 7 -------
 2 files changed, 16 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 0f3ef7ef..b6dcc957 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3246,15 +3246,6 @@ you a reprimand!).
 The default value is @code{retract}.
 @end defopt
 
-@c TEXI DOCSTRING MAGIC: proof-allow-undo-in-read-only
-@defopt proof-allow-undo-in-read-only 
-Whether Proof General allows text undo in the read-only region.@*
-If non-nil, undo will allow altering of processed text.
-If nil, undo is blocked if the next undo is in processed text.
-
-The default value is @code{nil}.
-@end defopt
-
 @c TEXI DOCSTRING MAGIC: proof-query-file-save-when-activating-scripting
 @defopt proof-query-file-save-when-activating-scripting 
 If non-nil, query user to save files when activating scripting.
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index 07d0464e..be52f32f 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -131,13 +131,6 @@ you a reprimand!)."
   :set   'proof-set-value
   :group 'proof-user-options)
 
-(defcustom proof-allow-undo-in-read-only nil
-  "*Whether Proof General allows text undo in the read-only region.
-If non-nil, undo will allow altering of processed text.
-If nil, undo is blocked if the next undo is in processed text."
-  :type  'boolean
-  :group 'proof-user-options)
-
 (defcustom proof-three-window-enable nil
   "*Whether response and goals buffers have dedicated windows.
 If non-nil, Emacs windows displaying messages from the prover will not
-- 
cgit v1.2.3