1 files changed, 4 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index ae9d43fe..42e74a44 100644
--- a/CHANGES
+++ b/CHANGES
@@ -21,12 +21,15 @@
 
 ** Coq Changes
 
-
 ** LEGO Changes
 
 ** Isabelle Changes
 
+*** Fix for stack overflow in regexp which occurred with large proof states
+
 ** Isar Changes
 
 ** Changes for developers to note
 
+*** No need for match string 1 in proof-shell-proof-completed
+