diff options
| author | Thomas Kleymann | 1997-12-18 13:16:41 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1997-12-18 13:16:41 +0000 |
| commit | 88065a588efd7fd055776a71a3a896d0f17cc86d (patch) | |
| tree | b294f3a6f0be13cb2b9dea754a8e9d2d6939a7d2 /todo | |
| parent | 804c446ae609a4acfec4c5eabbd84ef55a262e11 (diff) | |
o introduced proof-shell-handle-error-hook and bount it by default to
proof-goto-end-of-locked-if-pos-not-visible-in-window (also new)
o proof-find-next-terminator now also works inside a locked region
o implemented proof-process-buffer which is by default bount to C-c C-b
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions