diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-03 11:17:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-03 11:17:16 +0000 |
| commit | b13504bc604d5c5ed42279d0a587dfccdbdaa0d0 (patch) | |
| tree | 43be0a276d370bef40da22f5563754a2f5f3f1f2 | |
| parent | cdcf44a4f09386b0de773b63358e634946a4a939 (diff) | |
Added some items.
| -rw-r--r-- | todo | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -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) |