diff options
| author | David Aspinall | 1998-09-24 13:07:40 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 13:07:40 +0000 |
| commit | d3cd25b986ff63b91a4142ee4da201ea893d1eaf (patch) | |
| tree | 04bc15fbd86a5068ed74ba648f742849e3db7f13 /etc/ProofGeneral.patch | |
| parent | 2ad5bf6f5feb4c76da42b1a19b26d8dafcc765e4 (diff) | |
Minor
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions