diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-13 13:10:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-13 13:10:17 +0000 |
| commit | a8a5c264a995cf1bd4f15d34ee6cdc03f4ff7e94 (patch) | |
| tree | ba27baaf84bb1828f86f1dc21d1e18776970b083 /TODO | |
| parent | 095f526ebe9e507d5a77568c2c83dbc7c172b354 (diff) | |
Mention plan to use CEDET.
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -14,6 +14,10 @@ da+pg-feedback@inf.ed.ac.uk. Thanks! Plans for upcoming versions --------------------------- +* 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. @@ -26,10 +30,6 @@ Plans for upcoming versions * Queue manipulation improvement: allow to extend or reduce during processing, with fewer "Proof Process Busy" messages. -* Improve process handling: disable interrupts and/or catch errors at - crucial points in code so that C-g can safely be used during script - processing. Handle deleted buffers smoothly. - * Support more proof assistants * Make an XEmacs package |