1 files changed, 8 insertions, 0 deletions
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