Updated

1 files changed, 6 insertions, 0 deletions

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