| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name). |  sacerdot | 2004-11-16 |
| * | Nouvelle en-tête |  herbelin | 2004-07-16 |
| * | Licence changed from GPL to Lesser GPL. | sacerdot | 2004-06-26 |
| * | Copyright notice of files in contrib/xml made uniform. | sacerdot | 2004-04-07 |
| * | CoRN CProp detection improved: products of "sort" CProp are now recognized | sacerdot | 2004-04-07 |
| * | Intégration de la branche mowgli | herbelin | 2002-11-05 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |