diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-09-02 17:37:28 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-09-02 17:37:28 +0000 |
| commit | 5b56b8427d3d8f13cf7296a89f5554dd770deaef (patch) | |
| tree | b07b0d5b42141ed257284105ac3124ac04050421 | |
| parent | 596d3b1cebdbceace1b8640600ddfa99bec8f4b1 (diff) | |
o rearranged Release entry
o allocated a task to tms
| -rw-r--r-- | todo | 17 |
1 files changed, 9 insertions, 8 deletions
@@ -9,16 +9,10 @@ C (Low) probably not worth wasting time on * This is a list of things which need doing in the generic interface ==================================================================== -A Make ready for distribution: fix INSTALL file, add COPYING note - and write Makefile to build documentation formats and generate distributable - tar.gz file, tag sources with release version. Perhaps add subdirectories - doc/ elisp/ misc/ ? - (2h, da willing) - B Outsource script management features from proof.el to proof-script.el (1h) -A Write function proof-retract-file. (30min) +A Write function proof-retract-file. (30min tms) Currently, the command ForgetMark (for LEGO) is hardwired in proof-steal-process. @@ -178,4 +172,11 @@ A remove CVS history in all files A extend Copyright to 1998 -A Release Number 2.0
\ No newline at end of file +A Release Number 2.0 + +A Make ready for distribution: fix INSTALL file, add COPYING note + and write Makefile to build documentation formats and generate distributable + tar.gz file, tag sources with release version. Perhaps add subdirectories + doc/ elisp/ misc/ ? + (2h, da willing) + |