diff options
| author | David Aspinall | 1998-11-25 14:49:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 14:49:56 +0000 |
| commit | 9471bab28345b532152c0f269a83b02bc3708510 (patch) | |
| tree | c3ec75f47e522a481136b1d5a871907552da0143 /etc/ProofGeneral.patch | |
| parent | 570c90e025da1631a9dc8cff6bc9e64bff8467c2 (diff) | |
More polish.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions