diff options
| author | David Aspinall | 1998-10-12 12:32:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 12:32:06 +0000 |
| commit | d44ae69502e825036daba4773b84c8ccfdcab9e3 (patch) | |
| tree | 90abbe1e4d75a909ea3b69b85c306755e64a52af /etc/ProofGeneral.patch | |
| parent | bdb4317038e295f856dc24e0aced82b693b67a62 (diff) | |
added note about Emacs versions
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions