assigned a task to tms

1 files changed, 3 insertions, 1 deletions

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
 ========================================