From ec9f0bab90f293359d3fc44e835d20d37eded836 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Sep 1999 16:36:27 +0000
Subject: Updated

---
 todo | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

(limited to 'todo')

diff --git a/todo b/todo
index 19a60773..bb4c60e6 100644
--- a/todo
+++ b/todo
@@ -42,8 +42,19 @@ A Pending work, in progress [da]:
           (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
+    - reorganization and improvement of menus, keybindings
+	. use toolbar functions, but remove from proof-toolbar and reorganize.
+	. update documentation
+    - test support for x-symbol
+    - investigate toolbar refresh problems
+    - investigate of excessive processing for large proofs
+    - investigate bug fix for vacuous locked regions
+
+A Usability enhancement:
+   Enable toolbar in other buffers.  Should switch to active
+   scripting buffer first if it is non current.
+   (In fact, a sensible subset of scripting commands would
+    work from other buffers).
 
 A Usability enhancement:
    Movement of point after assert/retract commands
-- 
cgit v1.2.3