diff options
| author | David Aspinall | 2008-01-28 18:56:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-28 18:56:09 +0000 |
| commit | 3c8465b3606e33b0324b51250da5bec6f230f739 (patch) | |
| tree | 343d6153b52064c9fe1bd6cd3bdc7bfa43b3750d | |
| parent | c61566fd090749ad2d11c49bc97d6b92e68526aa (diff) | |
Deleted file
| -rw-r--r-- | TODO | 33 |
1 files changed, 0 insertions, 33 deletions
@@ -1,33 +0,0 @@ -This is our brief list of planned things to do to Proof General. - -$Id$ - -See also the Proof General development page on the web, and -the issue tracker at http://proofgeneral.inf.ed.ac.uk/trac. - -Please send any suggestions, comments, or offers of help to -da+pg-feedback@inf.ed.ac.uk. - - -Ideas for upcoming versions ---------------------------- - -* Implement support for PG Kit. Support PGIP provers fully, with/without - broker. (See http://proofgeneral.inf.ed.ac.uk/kit). - -* Use CEDET Emacs framework for development tools, to allow more - powerful parsing of proof scripts and features arising from that. - (See http://cedet.sourceforge.net/). - -* Add a browser mode for browsing script files and/or live theory - data-structures, in the prover. - -* More flexible goals buffer mode to allow menus of common proof - commands, especially via PBP-style highlighting - -* Queue manipulation improvement: allow to extend or reduce - during processing, with fewer "Proof Process Busy" messages. - -* Support more proof assistants. Add more example proofs. - - |