Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | erreurs lexicales dans les patterns (manquait des espaces) | filliatr | 2000-03-30 | |
* | Nettoyage des fichiers de parsing | herbelin | 2000-01-13 | |
* | Renommage command en constr | herbelin | 2000-01-07 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | erreurs lexicales dans les patterns (manquait des espaces) | filliatr | 2000-03-30 | |
* | Nettoyage des fichiers de parsing | herbelin | 2000-01-13 | |
* | Renommage command en constr | herbelin | 2000-01-07 |