diff options
author | 1998-11-09 20:02:13 +0000 | |
---|---|---|
committer | 1998-11-09 20:02:13 +0000 | |
commit | e541468bd3d73bdd840fc077734e7aa3e68c7c59 (patch) | |
tree | 373b0c69f37697894d211d2821389cdc1b2a6010 /TODO | |
parent | d58934ab512c9466dd44a516359d1000b103dc9f (diff) |
Updated user-view of our todo
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 16 |
1 files changed, 1 insertions, 15 deletions
@@ -9,24 +9,10 @@ SHORT TERM MEDIUM TERM ----------- -* Revise and improve the documentation - * Provide a sensible default frame/buffer layout * Add an example instantiation of Proof General - with no prover-specific extensions - (probably for Isabelle) - -* Implement a new buffer model: - - 1. Script buffers - 2. Response buffer - 3. (optionally part of response buffer) goals buffer - 4. (hidden) process buffer - 5. Minibuffer for additionally sending information to the process - -* Add support for putting a locked region in processed files, - and querying the process about which files have been processed. + with no prover-specific extensions (probably for Isabelle) * Improve process handling 1: disable interrupts and/or catch errors at crucial points in code so that C-g can safely be |