diff options
| author | David Aspinall | 1998-10-14 13:17:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-14 13:17:07 +0000 |
| commit | 862ed6d111b32e54782738232ec76ed4534699a4 (patch) | |
| tree | 2db42522779667781a58dabf228de9d3ac9e8ac5 /etc | |
| parent | 74f91cf24197b3734a83480cb236aa4a911c036a (diff) | |
Other small improvements to adding new proof assistant section.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions