Commit message (Expand) | Author | Age | |
---|---|---|---|
* | hiding the meta_map in evar_defs | 2004-09-15 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | 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 |