diff options
| author | Makarius Wenzel | 1999-05-27 19:57:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-27 19:57:30 +0000 |
| commit | 67e52b4e6b7685006b591848c8c9f994a4d2dc2e (patch) | |
| tree | e6af4abb19a4807accd6e98cdacb0831af62f846 /etc/ProofGeneral.patch | |
| parent | c910b667d522b8f45ec3ef5df69c91e10ec7a9a1 (diff) | |
oops;
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions