diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-12 14:21:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-12 14:21:05 +0000 |
| commit | 1d9f8c0eed17ec356400d87973d68a5c0b4636bd (patch) | |
| tree | 17fd84e64c739e4e893c9ff2ff9903b184336c91 /todo | |
| parent | 69f105a99a98cc171bcf9b7b43b51940e9df1d1c (diff) | |
Fixed bug with find-next-terminator.
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 9 |
1 files changed, 0 insertions, 9 deletions
@@ -140,15 +140,6 @@ C Bug in proof-retract-until-point when called twice in succession: locked region, or "nothing to retract"). Problems is that there is a proof-locked-end, but it's at (point-min). (30min) -C proof-find-next-terminator doesn't work properly: - - first;second;third - ^ - Invoking proof-find-next-terminator in cursor position (^) should - move point to "t". Currently, it doesn't do anything. This is a - bug. Perhaps just use new implementation of - proof-assert-until-point (30min) - B Add proof-quit-command: some provers may like a quit command to be sent to the shell, not just EOF ! (see proof-stop-shell). Also reconcile proof-restart-script and proof-stop-shell, see |