diff options
| author | David Aspinall | 2001-09-13 16:27:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-13 16:27:34 +0000 |
| commit | 38e120c9fd262be7e8dde04b4b718a841654bbd6 (patch) | |
| tree | d9329901426bd8ca0491c1a4c19071b2dc852c3a /todo | |
| parent | 4a84f5459a93c17681d8ede8e5a6a20ab0fb093f (diff) | |
updated
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -923,6 +923,8 @@ Output written on ProofGeneral.pdf (2 pages, 54702 bytes). ** 10. Things to do for Proof General Project +*** A Make informatics research reports from latest docs. + *** A Try to get small project grant from LFCS to help with development of Proof General. Latest news: success is doubtful. Needs a self-contained project that |