diff options
| author | David Aspinall | 1999-09-29 16:29:55 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-29 16:29:55 +0000 |
| commit | 03947fee8ab748686e2c2b5cdd3e30cc71b56efd (patch) | |
| tree | aa5636f6b61a5837e1cebeb5a6db3a2667671ee7 | |
| parent | 97c10f623dc9a61c625d466b87c9a626d3aa30f8 (diff) | |
Updated.
| -rw-r--r-- | todo | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -51,14 +51,15 @@ A Pending work, in progress [da]: . toolbar appears in wrong buffers - investigate of excessive processing for large proofs - investigate bug fix for vacuous locked regions - - document proof-copy-span (new name for proof-send-span, re-enabled). + - document proof-mouse-track-insert (new name for proof-send-span, re-enabled). A Usability enhancement: - Fix asymmetry between "doing" and "undoing": doing will skip comments, undoing will not. e.g. test case: (* tester *) intros; A Usability enhancement: - - Fix proof-script-command-separator and proof-one-command-per-line flag. + - Fix proof-script-command-separator and proof-one-command-per-line flag, + document them. C Compatibility enhancement: - Consider sending comments to proof process after all. They might |