Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |