diff options
| author | Pierre Courtieu | 2006-08-25 09:54:48 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-08-25 09:54:48 +0000 |
| commit | 62dacef3e83b2b95068337ba894c89176265cc09 (patch) | |
| tree | 8f0f958e9dd6e3bd3f1bf3ffc4c3c4bd708f24a3 /FAQ | |
| parent | 6c3cc40c3ef7972402eb066cf7d914b584494d5e (diff) | |
Changed default coq version (8.1)
Small fixes in docstrings.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions