From ad3941d0d31f15a727da2824aeeffaf50479744b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Nov 1999 19:09:07 +0000
Subject: More todo's??? Surely not

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

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.
-- 
cgit v1.2.3