diff options
| author | David Aspinall | 1998-09-23 11:44:10 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-23 11:44:10 +0000 |
| commit | 2ad5bf6f5feb4c76da42b1a19b26d8dafcc765e4 (patch) | |
| tree | 4d922fa2e52c59c245d35f489c6a23d7864fa54e /etc/ProofGeneral.patch | |
| parent | f16f77669d03270aa3f0c226cc54d0418fa21a40 (diff) | |
Example file suggested by Healf.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions