diff options
| author | David Aspinall | 2000-06-05 13:46:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-05 13:46:28 +0000 |
| commit | cffdbc6c0558524eb18643e8498897c7926ff6a7 (patch) | |
| tree | 64a391aeaec1ac2546a1e318f1059466cdfa9004 /html | |
| parent | 2cb9a3f83b4e627039e401af8333861a9827a1d8 (diff) | |
Added proof-next-error.
proof-shell-invisible-command: add terminator if it seems to be
missing (after all: it's useful for users with C-c C-v).
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions