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