diff options
| author | David Aspinall | 1999-08-23 16:50:31 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 16:50:31 +0000 |
| commit | 0826a2d7341a47768d17947ec0e81037af13c6f6 (patch) | |
| tree | e05fe0c5db2a6b5b9bdb8619d4e01b6acaccfe93 /html | |
| parent | 65b69323213712355d59803c5644e9724f5cbb5c (diff) | |
proof-version -> proof-general-version
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions