From a5d0bc098fdc5f492d87e1cf95a75c2d4bc8b52f Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Tue, 2 Jun 1998 15:37:33 +0000
Subject: Structured review now done. Added item that we need to write
 proof-retract-file.

---
 todo | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/todo b/todo
index 1606e51c..643867a9 100644
--- a/todo
+++ b/todo
@@ -9,9 +9,7 @@ C (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
-A Structured review of complete system. Is there redundant code?
-  Can some of the LEGO/Coq specific code made generic? Re-engineering.
-    (2h hhg & tms)
+A Write function proof-retract-file. (hhg? 30min)
 
 A Update source documentation and manual, in particular document bugs
   and workarounds
-- 
cgit v1.2.3