diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-04-25 12:04:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-04-25 12:04:08 +0000 |
commit | 3d24958fe1b4db950e5f4cb45ca5db122a84f62b (patch) | |
tree | 565d34b20ca0e12f4c1a336a8a8e5ffde712533b /CHANGES | |
parent | 77a02fbecc93f93e54bcd295c9d74b35e1c01473 (diff) |
Note about efficiency/bug fix by Markus.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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). |