diff options
| author | David Aspinall | 1999-02-22 13:40:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-02-22 13:40:18 +0000 |
| commit | cfc6132428fa4faa65c4067073e699cffa994074 (patch) | |
| tree | 5465533c25bc0563741bf5289d34d63a52c6fbcb /doc | |
| parent | 476fab96701a3c53790e7c4d4989d0ffce0746db (diff) | |
Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions