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