Speed optimizations, part I.

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 61259944..096e431f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -139,5 +139,10 @@ Internal changes for developers to note
     proof-help-string -> proof-info-command
     proof-prf-string  -> proof-showproof-command
 
+* Speed optimizations for the proof-shell-filter, to attempt
+  to give more CPU to a hungry and noisy proof process.
+  To help with this there is a new configuration variable 
+  proof-shell-eager-annotation-start-length.
+
 * Many code cleanups and improvements.