Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout d'un message à FailTac | 2003-03-31 | |
* | Correcting a bug occuring when the mimicked function had a | 2003-03-31 | |
* | Added some tests to make more robust the tactique "Functional | 2003-03-01 | |
* | The contribution of Pierre Courtieu on generating specialized induction schemes | 2003-02-27 |