diff options
| author | David Aspinall | 1999-01-21 14:33:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-21 14:33:05 +0000 |
| commit | 1311c160dbaa8f5f7f76e99656cf835d0947254c (patch) | |
| tree | 97750c5449336762cf01189b5d1c8535145ee488 | |
| parent | baae718efd8669cdfe839587dbba2c75edd66b4f (diff) | |
Updated. Time estimates and doc todo.
| -rw-r--r-- | todo | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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? |