diff options
| author | Thomas Kleymann | 1997-10-31 15:11:28 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1997-10-31 15:11:28 +0000 |
| commit | 22720e8ed76564289f6e1c35ad1ce2fc1794fadb (patch) | |
| tree | 2bcaaa86ff722f797e04446e197a9b0b786dfe7f /todo | |
| parent | dbaa145b6a390b2febaf0cff7b3a759d6589d819 (diff) | |
o implented proof-find-next-terminator available via C-c C-e
o fixed a bug in proof-done-retracting
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions