Updated

1 files changed, 7 insertions, 2 deletions

diff --git a/todo b/todo
index 4f2ee13b..ed0d2f76 100644
--- a/todo
+++ b/todo
@@ -41,14 +41,15 @@ X (Low)		probably not worth spending time on
 
 A Final stuff for 3.0 release [da]:
 
-  - proof-shell-done-invisible -> proof-done-invisible again
+  - something about possible extending queue bug  
+    (does it happen apart from first time round?)
   - name change for "automatic multiple files" stuff
-  - proof-auto-delete-windows -> proof-delete-empty-windows
   - See if better fix for FSF overlay mess
   - document mouse functions, proof-cd, process quit timeout, 
     X-Symbol, new menu functions for display.
   - Fixing up PBP: check documentation is roughly okay.
   - put demo paper on web pages, add more to it.
+  - finish documentation improvements
   - is there a welcome message for mailing list?
 
 
@@ -56,6 +57,10 @@ A Final stuff for 3.0 release [da]:
 
 ---------------------------------------------
 
+D X-Symbol improvements: see if we can get support for 
+  proof-xsym-extra-modes outside PG (just by loading proof-site).
+  Will be handy for Isabelle's .itex Isabelle-LaTeX files.
+
 D Strange problem when running in tty mode: c-c c-RET seems to be
   impossible to type.  Consider binding C-c RET instead when
   running on a console.