Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Deplacement de Ppvernacnew.pr_reference dans Ppconstrnew pour utilisation par... | 2003-10-21 | |
* | Ajout printers pour constr et constr_pattern (sans traduction) | 2003-10-10 | |
* | traducteur: affiche les commentaires a l'interieur des commandes | 2003-09-22 | |
* | Pour appliquer les noms reserves aussi aux binders | 2003-09-16 | |
* | Mise en place affichage spécifique pour le scope des types | 2003-09-12 | |
* | Nouvelle mouture du traducteur v7->v8 | 2003-08-11 | |
* | Ajout notation c.(f) en v8 pour les projections de Record; raffinement divers | 2003-06-10 | |
* | Factorisation des produits de même type; parenthèses autour des x:=c et n:=... | 2003-04-29 | |
* | Globalisation des noms de tactiques dans les définitions de tactiques | 2003-04-07 | |
* | *** empty log message *** | 2003-03-21 | |
* | *** empty log message *** | 2003-03-12 | |
* | Ajout du traducteur | 2003-02-05 |