From b13504bc604d5c5ed42279d0a587dfccdbdaa0d0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Sep 1998 11:17:16 +0000
Subject: Added some items.

---
 todo | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/todo b/todo
index 7877c2b3..d5668905 100644
--- a/todo
+++ b/todo
@@ -119,6 +119,9 @@ B As well as duplicated variables, we also have duplicated modes,
   Shouldn't the generic interface directly *define* the derived
   version required?   (1h to fix)
 
+B Fixup implementation of "spans".   Add documentation!
+  (2h)
+
 
 * Proof-by-Pointing
 ===================
@@ -228,9 +231,10 @@ A extend Copyright to 1998
 A fix INSTALL file, add COPYING note
 
 A write Makefile targets to build documentation formats
-  and generate distributable tar.gz file, tag sources
-  with release version.  Perhaps add subdirectories
-  doc/ etc/ proof/ coq/ lego/ isabelle/
+  and generate distributable tar.gz file, tag sources,
+  compile .elc, web page (?), with release version.
+
+  Perhaps add subdirectories doc/ generic/ coq/ lego/ isabelle/
   (3h, da moderately willing to do the dirty work)
 
 
-- 
cgit v1.2.3