diff options
| author | Healfdene Goguen | 1998-05-05 14:21:48 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-05 14:21:48 +0000 |
| commit | 6ec842a19db95654ed8ba079dba8c252f23f3bb8 (patch) | |
| tree | aada359c52c3018e237e66a3aec2d568025f8c87 /todo | |
| parent | 63b0e4bf188a772cb0665d5eb70368a0f02c402e (diff) | |
Made updates to fix problem with Definition, which couldn't be
used with proof scripts.
Removed some useless declarations.
Removed Abort from menu.
Now Reset's if user undoes to beginning of proof.
Added command to increase undo limit for Coq, and set default to 100.
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions