diff options
| author | Dilip Sequiera | 1997-11-17 17:11:23 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1997-11-17 17:11:23 +0000 |
| commit | 2783aa1f5955cd865029c3f685a44d42e39c7e51 (patch) | |
| tree | a00cac74d35b8b0223c593177b2fb4d6b98feba1 /INSTALL | |
| parent | 99c7c1dfaa67e6c9247597fed38a9f5bc55a74ef (diff) | |
Added some magic commands: proof-frob-locked-end, proof-try-command,
proof-interrupt-process. Added moving nested lemmas above goal for coq.
Changed the key mapping for assert-until-point to C-c RET.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions