diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-19 06:41:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-19 06:41:10 +0000 |
| commit | 5ef0dfc6bc323f84aa8d47359d89c9057545f202 (patch) | |
| tree | 0d3a6c09d13f1997a32b3b54499cde091f802e44 /hol98/todo | |
| parent | 1aea7fca0334e89fbcf69cc7477589e4118b3ebe (diff) | |
Added menu entry for proof-undo-and-delete-last-successful-command
Diffstat (limited to 'hol98/todo')
0 files changed, 0 insertions, 0 deletions