diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-09-10 17:48:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-10 17:48:55 +0000 |
commit | 7cc5edd11befabbb02610aa90a95d641ba4c00db (patch) | |
tree | e2f5121a2e022be4c6820d1516c218b84424ec49 | |
parent | d1548138271b2191f2235125cc5c67f8b9829288 (diff) |
Done .xbm's and Makefile targets. Added TODO for locked region per file.
-rw-r--r-- | todo | 13 |
1 files changed, 6 insertions, 7 deletions
@@ -18,15 +18,16 @@ A proof-toolbar: Add support for entering a goal and saving a theorem up and down functions). Add toolbar to pbp mode too. (1hr, da) -A Add xbm bitmap images for toolbar. Probably important to support - non-colour displays. (30mins, da) - X Improve toolbar icons. Automatically generate reduced and pressed/greyed-out versions from gimp xcf files. Keep the xcf files under CVS rather than xpm files. (5h or more to design nice ones) -A Documentation for proof-mode and its derived modes. (5min) +X Add support for putting a locked region in processed files. + +A Documentation for proof-mode and its derived modes. + (15min for each mode: should base on some generic doc for + proof-mode) A Clean up proof-assert-until-point behaviour. At the moment we get an odd error if it is run in the locked region. If point @@ -277,6 +278,4 @@ A fix INSTALL file, add COPYING note A fix branches after renames -A write Makefile targets to build documentation formats - and generate distributable tar.gz file, tag sources, - compile .elc, web page (?), with release version. +A write Makefile targets to build documentation formats, .elc |