Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Mise en place traduction des tactiques apres evaluation pour permettre des ch... | 2003-11-09 | |
* | Factorisation des produits de même type; parenthèses autour des x:=c et n:=... | 2003-04-29 | |
* | Ajout du traducteur | 2003-02-05 |