Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout option 'Local' à Infix et Notation | herbelin | 2003-04-11 |
* | Ajout d'un choix 'onlyparse' | herbelin | 2003-03-31 |
* | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout option 'Local' à Infix et Notation | herbelin | 2003-04-11 |
* | Ajout d'un choix 'onlyparse' | herbelin | 2003-03-31 |
* | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |