diff options
| author | David Aspinall | 1998-11-25 12:48:33 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:48:33 +0000 |
| commit | 5870622e827747ffb096225562b4b2599e31c50c (patch) | |
| tree | 6c01076abcb4ed40cfeac5c62812a776eb01b04d /etc/ProofGeneral.patch | |
| parent | f1e1e37ac85ab5f6746d03b067628605fb67ab09 (diff) | |
Added Isamode-like keybinding C-c C-l for proof-prf.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions