From 1311c160dbaa8f5f7f76e99656cf835d0947254c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Jan 1999 14:33:05 +0000
Subject: Updated.  Time estimates and doc todo.

---
 todo | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index 9cd3ad25..a1ae91bc 100644
--- a/todo
+++ b/todo
@@ -28,18 +28,22 @@ B Add a "register" page for registering downloads.  Perhaps filling
   Suggestion: send an email to proofgen@dcs.ed.ac.uk with POST
   results. Template:
     http://www.dcs.ed.ac.uk/home/da/Isamode/IsamodeSurvey.html
+  [2 hours]
 
 B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
   Technical Report.  
 
    * Fix page rearrangement to insert a blank page
-   * Fix typos/other stuff found by Dave
+   * Fix typos/other stuff found by Dave.
+   * Suggestions, typos, contributions by Healf.  
+     (Dave has email)
    * Improve trivial and uniformative docstrings.
    * Fixup markup mistakes by editing docstrings.
    * Fix docstring magic so PROOFGENERAL_HOME is not var'd.
    * New line after first sentence of docstrings.
    * Several env variables / LEGO name stuff:: make `STUFF' be literal.
    * Update menus in texi
+  [6 hours]
 
 A BUGS to investigate:
   - Is there a catch bug on Solaris when a process shell killed?
-- 
cgit v1.2.3