From f0bef2c0938b4f56a4b487d154623f0c368a18c9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 2009 21:06:29 +0000
Subject: Update, remove proof-shell-abort-goal-regexp

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

diff --git a/CHANGES b/CHANGES
index c55c1f18..e8aea558 100644
--- a/CHANGES
+++ b/CHANGES
@@ -42,9 +42,10 @@
     `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
+    pg-insert-output-as-comment-fn: removed (use p-s-last-output)
+    proof-shell-wakeup-char: removed (special chars deprecated)
+    proof-shell-prompt-pattern: removed (was only for shell UI)
+    proof-shell-abort-goal-regexp: removed (ordinary response)
     pg-use-specials-for-fontify: removed
     proof-shell-strip-output-markup: required for cut-and-paste
     proof-electric-terminator-noterminator: allows non-insert of terminator
-- 
cgit v1.2.3