diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-03-25 14:19:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-03-25 14:19:50 +0000 |
| commit | f75c29fff1c96c6b0315879a7bb3cba524d834b5 (patch) | |
| tree | 27720b16467ef6bd109d1f6930c8e7c482f7bf03 /TODO.developer | |
| parent | 60a0bcd3c8a15769756d470c70b53f674e58e104 (diff) | |
Remove project todos
Diffstat (limited to 'TODO.developer')
| -rw-r--r-- | TODO.developer | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/TODO.developer b/TODO.developer index ced35e65..52c1e245 100644 --- a/TODO.developer +++ b/TODO.developer @@ -40,7 +40,6 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. 7. Future improvements to take advantage of newer Emacsen 8. Bugs in other software beyond our control 9. Stable version release checklist -10. Things to do for Proof General Project See <prover>/todo for things to do for each prover. @@ -681,29 +680,3 @@ pdftexinfo.tex, but that version doesn't seem to generate web links? *** 8. Validate web pages if they're changed much. *** 9. Update and distribute etc/announce. *** 10. Message to PG mailing list. - - - - - - -** 10. Things to do for Proof General Project - - -*** A Journal paper on design and development of Proof General. -*** A Grant proposal for Proof General Kit. -*** A Informatics research reports from latest docs. -*** A Small project grants for summer students -*** A Small project grant from LFCS for summer student - -*** B "Spam-protect" (ho, ho) email addresses on web pages -*** B Fixup HTML on mailing list pages (image address) - -*** B Find new people to help advance and develop Proof General. - Getting more instances is a good way. Also encouraging feedback. - Hear stories of bugs always by word-of-mouth, they don't get - reported often enough by email. -*** A PG student projects -*** B PG auxiliary contributions -*** C PG CDROM: CDROM with PG and other theorem provers. Useful? - |