From 1244c71a31f937c6bcd65f9ad23274990a91877a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Oct 1999 13:56:07 +0000
Subject: Updated

---
 todo | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/todo b/todo
index a10295cc..28d444cf 100644
--- a/todo
+++ b/todo
@@ -42,16 +42,18 @@ A Pending work, in progress [da]:
 	. use toolbar functions, but remove from proof-toolbar and reorganize.
 	. update documentation
     - test support for x-symbol
-    - investigate toolbar refresh problems
-	. extra clicks are needed (?)
-    - investigate of excessive processing for large proofs
-        (on my machine, I see about a 30% 70% worse case between Xemacs and smlnj
-         for the time_use_thy in src/HOL/Real/ROOT.ML)
-    - investigate bug fix for vacuous locked regions
     - document proof-mouse-track-insert (new name for proof-send-span,
 re-enabled), proof-toggle-scripting, new configuration options.
     proof-cd
 
+D Investigate possible toolbar refresh problems.
+  Are extra clicks ever needed?  Wait for some comments.
+
+D Improve efficiency for processing for large proofs.
+  Currently worse case is about 75%/25% CPU to Prover/XEmacs when processing
+  long output stretches on zermelo.  (Example: time_use_thy in src/HOL/Real/ROOT.ML)
+  Processing large scripts is likely to be worse, and needs work.
+  
 B After interrupt, queue region is left intact.  Seems odd. 
   Let's remove it.  Also interrupt needs other cleanups:
   position of proof-marker may be wrong.  Even the message
-- 
cgit v1.2.3