From 1690e837fb5dc3a356d6fd54ca75c367a43ec9e9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 27 Aug 1998 18:01:40 +0000
Subject: todo

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

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