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 ---------
 1 file changed, 9 deletions(-)

(limited to 'doc')

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.
-- 
cgit v1.2.3