From d7cfaa58b4dd75362d25ac928319a13e38acc2f2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Oct 2009 23:11:53 +0000
Subject: Updated

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES b/CHANGES
index d5c6d387..efa62390 100644
--- a/CHANGES
+++ b/CHANGES
@@ -57,6 +57,7 @@
     proof-shell-prompt-pattern: removed (was only for shell UI)
     proof-shell-abort-goal-regexp: removed (ordinary response)
     proof-shell-error-or-interrupt-seen: removed, use p-s-last-output-kind
+    proof-script-next-entity-regexps,next-entity-fn: removed (func-menu dead)
 
 *** Primary distribution formats changed
     The RPM and zip file formats have been removed.
-- 
cgit v1.2.3