diff options
| author | David Aspinall | 2004-05-07 00:03:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-05-07 00:03:14 +0000 |
| commit | cef0b539c86f81e1bbb35ad1bcb35c91df6daaa6 (patch) | |
| tree | 95622a0a9573933fd33fb37ea66c3f6f79d0b833 /FAQ | |
| parent | 7885665da5161b1fb31c5e2a65693704eabb3d88 (diff) | |
Claim auto compilation for Coq.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions