From 35f8ea2841731941da3106e956b7dff0aa7925ec Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Nov 1999 17:37:49 +0000
Subject: Updated

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

diff --git a/todo b/todo
index 9c8909fe..8da45f46 100644
--- a/todo
+++ b/todo
@@ -39,6 +39,14 @@ X (Low)     probably not worth spending time on
 ====================================
 
 A Pending work, in progress [da]:
+
+   - name changes: proof-window-dedicated -> proof-keep-windows
+           proof-shell-{start,end,goal,blah} -> proof-goals-{blah}
+           pbp-{blah} -> proof-goals-{blah}, new proof-goals.el  [maybe later]
+     
+
+
+
     - reorganization and improvement of menus, keybindings
 	. use toolbar functions, but remove from proof-toolbar and reorganize.
 	. update documentation
-- 
cgit v1.2.3