From 7859bd05691a5e49a0a2b48699b3a11bbf444b70 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 19:14:01 +0000
Subject: Updated

---
 CHANGES | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGES b/CHANGES
index fc7e6c34..c55c1f18 100644
--- a/CHANGES
+++ b/CHANGES
@@ -37,6 +37,11 @@
     proof-output-fontify-enable        (now always enabled)
 
 *** Altered prover configuration settings (internal)
+
+    urgent message matching is now anchored; configurations for
+    `proof-shell-clear-response-regexp', etc, must match
+    strings which begin with `proof-shell-eager-annotation-start'.
+
     pg-insert-output-as-comment-fn: removed
     proof-shell-wakeup-char: removed
     proof-shell-prompt-pattern: removed
@@ -44,6 +49,7 @@
     proof-shell-strip-output-markup: required for cut-and-paste
     proof-electric-terminator-noterminator: allows non-insert of terminator
 
+
 *** Primary distribution formats changed
     The RPM and zip file formats have been removed.
     We are very grateful to third-party packagers for Debian and Fedora
-- 
cgit v1.2.3