diff options
| author | David Aspinall | 2001-05-08 12:00:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-08 12:00:57 +0000 |
| commit | cab038a2af51259c72751a295a9df02bdf2d6f36 (patch) | |
| tree | 135d67824dd85aee38e33a113799a7292f1d45d8 /etc/ProofGeneral.patch | |
| parent | 3cfd36554de49f477101541e6cab75af6219dc9a (diff) | |
Updated.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions