diff options
| author | David Aspinall | 2000-05-17 16:36:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-17 16:36:49 +0000 |
| commit | b5901035a7b9601c756d40100b6ec212c365308f (patch) | |
| tree | 0a3e6b8de02b9dab0f2a0dbcffa13004edaf00dc /etc/ProofGeneral.patch | |
| parent | c9a051eb8258621ead76cb8ad94ef3049b842eab (diff) | |
Updated
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions