diff options
| author | David Aspinall | 1998-09-24 15:44:49 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 15:44:49 +0000 |
| commit | b8a3a35413c67ddbf5851315629cc28e54a7daf1 (patch) | |
| tree | 319056a2132cf5a0565a0b2e1e4b51620aea5f53 /etc/ProofGeneral.patch | |
| parent | 06ebdec620f8c2daa4a59660b0a9f2bce7eea5de (diff) | |
Fine tuning.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions