Note about atrocious performance of proof-sement-up-to, even when compiled.

1 files changed, 5 insertions, 1 deletions

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)