diff options
| author | David Aspinall | 1998-10-08 13:37:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-08 13:37:29 +0000 |
| commit | d12a04e5e4aadbe1ac202a236c47e24b52b25878 (patch) | |
| tree | e9e863fac09404315007187ff3b2cbd25ab10189 /html | |
| parent | 907b02b26816eb30893c7d32969e7a8c07af1a57 (diff) | |
Added auto checking for Proofgeneral.spec.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions