From 3d24958fe1b4db950e5f4cb45ca5db122a84f62b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 25 Apr 2000 12:04:08 +0000
Subject: Note about efficiency/bug fix by Markus.

---
 CHANGES | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'CHANGES')

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).
-- 
cgit v1.2.3