diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-19 06:43:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-19 06:43:38 +0000 |
| commit | 47316e151054edd69f98382a6a4b21345d3f78ef (patch) | |
| tree | d9fbee3fdb2d266da56e49b19424f3b630b2026c /hol98 | |
| parent | 776750c813a39954259f5eb098259b5c124afd8c (diff) | |
Added keybinding, improved doc for proof-undo-and-delete-last-successful-command.
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions