diff options
| author | David Aspinall | 2000-06-05 13:52:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-05 13:52:06 +0000 |
| commit | e1b23bfc50feb02a18c7a2ebad5637cf931a3949 (patch) | |
| tree | 66affbe55a08be15f4cd324370ffc1a6df121833 /doc | |
| parent | 47fef0c2fd5b0a8e09ef5d4b4508347b4828dd3c (diff) | |
Added miscellaneous commands section, with proof-display-some-buffers
function.
Bind C-c C-l to proof-display-some-buffers, add to buffer menu.
Move start/exit to proof assistant specific menu.
Added proof-next-error to menu.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions