| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Réorganisation de la structure interne des types de déclarations (decl_kinds) |  herbelin | 2006-01-28 |
| * | Suppression code pour hints nommés à la V7 (voire à la V6...) | herbelin | 2006-01-28 |
| * | Restructuration et simplification des fonctions d'affichage, de détypage | herbelin | 2006-01-11 |
| * | Remplacement Pp.qs par Pptactic.qsnew | herbelin | 2005-12-28 |
| * | Autres suppressions de composantes du traducteur | herbelin | 2005-12-27 |
| * | Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*... | herbelin | 2005-12-26 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |