Structured review now done.

Added item that we need to write proof-retract-file.

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