diff options
| author | David Aspinall | 1999-11-24 21:49:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-24 21:49:00 +0000 |
| commit | f172f6177c17398600e62a3ae80f9b80650b3a99 (patch) | |
| tree | dec05a258f80453a179f73109db059c34f8c90c9 /etc/ProofGeneral.patch | |
| parent | 87f4831081425aeb45e8eae5b59fe814e1ae7d14 (diff) | |
Updated
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions