From 052e952796e8e1f0bdedc1b95522e4494cfa186e Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 8 Sep 1998 15:07:51 +0000
Subject: assigned a task to tms

---
 todo | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index d40a10f5..94528de3 100644
--- a/todo
+++ b/todo
@@ -11,7 +11,7 @@ C (Low)    probably not worth wasting time on
 
 A Add a small script "example.l" etc to each of the prover subdirectories,
   for testing/example purposes.  (Perhaps proving the same thing?
-  commutativity of conjunction?)
+  commutativity of conjunction?) (10min, tms)
 
 B Prune dead code.  (1h)
 
@@ -158,6 +158,8 @@ A Error messages need to be revised e.g., if an import fails, LEGO
 
   but script management only prints the last line. (5h tms)
 
+A release new version of the LEGO proof engine (4h tms)
+
 * Here are things to be done to Coq mode
 ========================================
 
-- 
cgit v1.2.3