todo

1 files changed, 6 insertions, 0 deletions

diff --git a/todo b/todo
index ecc93146..c16419c6 100644
--- a/todo
+++ b/todo
@@ -10,11 +10,17 @@ C (Low)    probably not worth wasting time on
 ====================================================================
 
 A Rename proof.el, etc to something more sensible: script-management.el?
+  Rename functions and variables inside all files to have consistent
+  prefixes.  This is emacs name space "management"!		(30min)
 
 A Write function proof-retract-file. (30min)
   Currently, the command ForgetMark (for LEGO) is hardwired in
   proof-steal-process.
 
+B Improve documentation in proof.el to help porting/understanding 
+  Also add notes into script-management.texinfo
+  (ongoing, da).
+
 A Update source documentation and manual, in particular document bugs
   and workarounds
   (4h hhg & tms)