- protect proof-shell-handle-delayed-output against the case where

  proof-shell-end-goals-regexp is defined but does not match
- add coq setting for hiding additional subgoals

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 2a61b8b4..0762a7e5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -18,6 +18,8 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 
 *** Minor parsing fixes
 
+*** New setting for hiding additional goals from the *goals* buffer
+
 
 * Changes of Proof General 4.1 from Proof General 4.0