From 9476f7b5462b6410f89cb78e206d0468e9deb002 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 21 Aug 1998 10:13:59 +0000
Subject: todo

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

(limited to 'todo')

diff --git a/todo b/todo
index 6600efc7..ecc93146 100644
--- a/todo
+++ b/todo
@@ -9,6 +9,8 @@ C (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A Rename proof.el, etc to something more sensible: script-management.el?
+
 A Write function proof-retract-file. (30min)
   Currently, the command ForgetMark (for LEGO) is hardwired in
   proof-steal-process.
-- 
cgit v1.2.3