1 files changed, 3 insertions, 0 deletions
diff --git a/todo b/todo
index dcf4c6fc..4f2ee13b 100644
--- a/todo
+++ b/todo
@@ -41,6 +41,9 @@ X (Low)		probably not worth spending time on
 
 A Final stuff for 3.0 release [da]:
 
+  - proof-shell-done-invisible -> proof-done-invisible again
+  - 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.