From 40a8f6c0ccdee80efcebdd8cdd056ae1f22474aa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 1998 17:32:46 +0000
Subject: Added todos for toolbar.

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

(limited to 'todo')

diff --git a/todo b/todo
index 20f7d7f0..00471029 100644
--- a/todo
+++ b/todo
@@ -11,6 +11,20 @@ C (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+B proof-toolbar:  Add support for entering a goal and saving a theorem
+  at the generic level.  These functions should also
+  be accessible from menus.  Fixup movement of point (choice of
+  up and down functions).  Add toolbar to pbp mode too.  
+  (1hr, da)
+
+A Add xbm bitmap images for toolbar.  Probably important to support
+  non-colour displays.  (30mins, da)
+
+C Improve toolbar icons.  Automatically generate reduced and
+  pressed/greyed-out versions from gimp xcf files.  Keep the
+  xcf files under CVS rather than xpm files.
+  (5h or more to design nice ones)
+
 A Remove defunct "isabelle" directory.  All collbarators must
   synchronize and remove their working directories to do this,
   because we need to operate on the repository directly.
-- 
cgit v1.2.3