diff options
-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) + |