1 files changed, 5 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 7ebbb4da..3fe6ee99 100644
--- a/CHANGES
+++ b/CHANGES
@@ -16,6 +16,11 @@
 
 *** Improved behaviour of electric terminator
 
+*** Efficiency improvement in parsing
+ 
+  Also works around crash bug in xemacs-21.1.7/SuSE.
+  Fix by Markus Wenzel.
+
 *** Added possibility for switching prover's output on/off.
 
   Already implemented in Coq and Isabelle(/Isar).