From 78ac44da03953b694fd36b2801e46abf5f07fc24 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Aug 2010 23:50:19 +0000
Subject: pg-protected-undo change

---
 CHANGES | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index f2a18a55..9db1b930 100644
--- a/CHANGES
+++ b/CHANGES
@@ -28,7 +28,9 @@
     Basic movie output for Proviola, see http://mws.cs.ru.nl/proviola
 
 *** Improved prevention of Undo in locked region
-    proof-allow-undo-in-read-only: now defaults to nil
+    With thanks to Erik Martin-Dorel and Stefan Monnier.
+    Undo in read only region follows `proof-strict-read-only' and
+    gives the user the chance to allow edits by retracting first.
 
 *** Simplified version of comint now used for proof shell
     To improve efficiency, a cut-down version of comint is now used.
-- 
cgit v1.2.3