From 6dd662ac501348018474ba60ad28b0b7a6619ee3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Sep 1999 17:07:41 +0000
Subject: Updated

---
 todo | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/todo b/todo
index 82e30d38..087418f3 100644
--- a/todo
+++ b/todo
@@ -37,6 +37,14 @@ X (Low)     probably not worth spending time on
 * Things to in the generic interface
 ====================================
 
+A Pending work, in progress [da]:
+    - new toolbar button icons 
+          (fixup eye shadows, mag glass, finger, stop icon)
+    - command and button for searching for a theorem
+       (possibly matching a given constant, or the proof state).
+    - toolbar refresh problems
+    - investigation of excessive processing for large proofs
+
 A Usability enhancement:
    Movement of point after assert/retract commands
         - configure by default for one command/line.
@@ -61,11 +69,7 @@ A Usability enhancement:
 A Usability enhancement:
    Add toolbar button for interrupting.
 
-B New feature:
-   Add command and button for searching for a theorem
-   (possibly matching a given constant, or the proof state).
 
-B Finish design of new icons.  
 
 D bug: outline mode when proof-strict-read-only is nil ought to
   work, but there may be problems.
-- 
cgit v1.2.3