Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Correction petits bugs du check de la test-suite | 2006-12-28 | |
* | Backtrack sur suppression des vars anonymes des contextes d'evars (echec Case... | 2006-12-12 | |
* | Test bug #932 | 2006-12-12 | |
* | Ajout test setoid_rewrite (cf bug #1176); anglicisation | 2006-11-01 | |
* | Ajout d'un répertoire de test de la complexité | 2006-10-06 |