diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-08-25 12:49:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-08-25 12:49:37 +0000 |
| commit | 86ac9c837f694cc2ce1849a6b839215e929e0d55 (patch) | |
| tree | 114479e89b0161a39ebb6ca1e8de044ca6db867b /coq/CHANGES | |
| parent | 62dacef3e83b2b95068337ba894c89176265cc09 (diff) | |
Small fixes.
Diffstat (limited to 'coq/CHANGES')
0 files changed, 0 insertions, 0 deletions