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 /CHANGES | |
parent | 1aea7fca0334e89fbcf69cc7477589e4118b3ebe (diff) |
Added menu entry for proof-undo-and-delete-last-successful-command
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions