diff options
| author | David Aspinall | 1998-10-01 14:12:35 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 14:12:35 +0000 |
| commit | b952e48ab0ff1b0fcc978ca384b9348a80a82515 (patch) | |
| tree | e0616f6e210910753fd3fc7bb353fc494bd300fc /etc/ProofGeneral.patch | |
| parent | a97d2a9319474a87f6a67a7e98dd5599f646c8b3 (diff) | |
Added new images
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions