diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-03 15:59:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-03 15:59:53 +0000 |
| commit | f7eec8783733bab66dc3b4ddbf5d543bee33ef73 (patch) | |
| tree | 01e22504d6e4ffd9950db36c9f9ded7006d19ab2 /TODO | |
| parent | d0ef012305eb65b83f125d3316373a0698e18293 (diff) | |
Updated.
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -14,8 +14,6 @@ da+pg-feedback@inf.ed.ac.uk. Thanks! Plans for upcoming versions --------------------------- -* Support more proof assistants - * Add a browser mode for browsing script files and/or live theory data-structures, in the prover. @@ -32,8 +30,8 @@ Plans for upcoming versions crucial points in code so that C-g can safely be used during script processing. Handle deleted buffers smoothly. -* Make an XEmacs package +* Support more proof assistants -* Repair byte-compilation +* Make an XEmacs package |