From 0d87abac3f261b694eee930436974aeec50ec78b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 5 Apr 2000 20:49:33 +0000
Subject: tuned todo stuff;

---
 isa/todo | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'isa')

diff --git a/isa/todo b/isa/todo
index eaad888b..405b209b 100644
--- a/isa/todo
+++ b/isa/todo
@@ -63,10 +63,8 @@ See also ../todo for generic things to do, priority codes.
   user-saved databases.  (ponder this)
 
 ** X Write perl scripts to generate TAGS file for ML and thy files.
-  (6h, any volunteers?).  
+  (60h, any volunteers?) (hard);
 
 ** X Manage multiple proofs, perhaps by automatically inserting
   push_proof() and pop_proof() commands into the proof script.
-  But would lead to unholy mess for script management!
-
-
+  But would lead to unholy mess for script management! (hard!)
-- 
cgit v1.2.3