Start of urgent messages

1 files changed, 8 insertions, 0 deletions

diff --git a/todo b/todo
index 60a9a6e1..d5ac27f3 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,12 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+
+A* Stuff for release (da):
+
+    1. Display of goals on Isabelle start up: hack it somehow.
+
+
 A* multiple files bug fix:
    It can happen (in Isabelle) that the prover retracts a file
    which asks for another to be retracted which is *not* on
@@ -264,6 +270,8 @@ D Allow bib-cite style clicking on Load/Import commands to go to file.
 D Remove duplication of variables e.g., proof-prog-name and
   lego-prog-name for Coq and Lego. (1h)
 
+X w3 manages to do toolbar enablers that work.  How?
+
 X Images for splash screen: could add xpm files for logos 
   so that XEmacs displays transparent parts properly.
   (Probably not worth effort of distributing more files).