From b8fa44e9b8bcb2074424ce55ecea0de8ed62914b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 12 Nov 1998 14:22:03 +0000
Subject: Note about atrocious performance of proof-sement-up-to, even when
 compiled.

---
 todo | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index 33bc8191..e92aca86 100644
--- a/todo
+++ b/todo
@@ -219,7 +219,11 @@ D Add support to proof.el for *not* setting variables for
   in Isabelle there is no such thing as killing a goal.
   For the minimum set of variables to cover, see FIXME's in isa.el
   (da, 1.5hrs)						   
-				    
+
+D proof-find-next-terminator is too slow when it needs to parse
+  a long buffer.   Generally a performance problem with
+  proof-segment-up-to.
+  				    
 D Implement proof-find-previous-terminator and bind it to C-c C-a
   (45min)
 
-- 
cgit v1.2.3