aboutsummaryrefslogtreecommitdiff
path: root/translate/ppconstrnew.mli
AgeCommit message (Expand)Author
2003-08-11Nouvelle mouture du traducteur v7->v8herbelin
2003-06-10Ajout notation c.(f) en v8 pour les projections de Record; raffinement diversherbelin
2003-04-29Factorisation des produits de même type; parenthèses autour des x:=c et n:=...herbelin
2003-04-07Globalisation des noms de tactiques dans les définitions de tactiquesherbelin
2003-03-21*** empty log message ***barras
2003-03-12*** empty log message ***barras
2003-02-05Ajout du traducteurdesmettr