diff options
| author | David Aspinall | 2000-05-25 20:10:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 20:10:17 +0000 |
| commit | b0e292ff8236bbfa51a166cbab0c0902b41e2790 (patch) | |
| tree | be526b84acef1c7ed15e1e390d854e5a9c985c3e /etc/ProofGeneral.patch | |
| parent | 7b7cb7bc9bea93df6781a93f707a111f4a2496dc (diff) | |
Removed spurious code in isar-mode function.
Removed defunct key binding of C-c C-l (Overriden with goto-end-of-locked).
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions