From 81ed3f9df1865e952f963614caa8ea674e3a8de7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 00:44:43 +0000
Subject: Clarify 'proof-allow-undo-in-read-only=nil' only works on GNU Emacs

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index feb3c53d..45d411a3 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -200,8 +200,8 @@ you a reprimand!)."
 (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 (default behaviour
-before Proof General 3.7).  If nil, undo history of processed text is
-discarded."
+before Proof General 3.7).  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