diff options
| author | David Aspinall | 1998-09-24 15:00:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 15:00:09 +0000 |
| commit | 89044ea6580b20b7abf7f9ea6a0fed67a4b310e7 (patch) | |
| tree | 5f144550337ec2259a2492fe30be09b9791296d7 /etc/ProofGeneral.patch | |
| parent | d3cd25b986ff63b91a4142ee4da201ea893d1eaf (diff) | |
Removed lego email address, support level notes.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions