| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | modif des fixpoints pour que si on donne une notation au produit, les pts fix... |  barras | 2004-03-05 |
| * | meilleure presentation des commentaires du traducteur | barras | 2004-01-02 |
| * | Substitution dans REvar et PEvar plutot que encodage via noeud application po... |  herbelin | 2003-12-19 |
| * | Correction du bug 335 et Export/Require Export dans un module |  coq | 2003-10-07 |
| * | Renommage des variables '_' | herbelin | 2003-09-10 |
| * | Ajout construction If primitive dans constr_expr et rawconstr | herbelin | 2003-09-09 |
| * | Ajout LetTuple | herbelin | 2003-08-11 |
| * | Nouvelle mouture du traducteur v7->v8 | herbelin | 2003-08-11 |
| * | Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern | herbelin | 2003-05-19 |
| * | Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar) | herbelin | 2003-03-29 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |