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