Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bug squashing day ! | 2008-04-17 | |
* | Mises à jour bugs, CHANGES, code mort | 2008-04-15 | |
* | Correction du bug 1816 (ajout d'un lemme dans Znat) et suppression | 2008-03-28 | |
* | Diverses petites modifs dans la test-suite: | 2008-03-26 | |
* | Ajout de 2 tests | 2008-02-01 | |
* | Fermeture du bug #1754 | 2008-01-24 | |
* | Ajout d'un test pour le mode déclaratif + test pour le bug #1776 | 2008-01-23 | |
* | Correction du bug #1754 | 2008-01-21 | |
* | Ajouts de quelques tests sur les bugs | 2007-12-21 | |
* | Test pour le bug #1754 | 2007-12-11 | |
* | Correction d'un bug dans check + ajout de tests | 2007-09-21 | |
* | Correction du bug #1634 + ajout de bugs dans la test-suite | 2007-08-22 | |
* | Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign; | 2007-08-16 | |
* | Modification de la test suite pour intégrer des tests spécifiques aux | 2007-08-10 |