Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Parameterize unification by two sets of transparent_state, one for open | 2008-04-21 | |
* | Fix bugs that were reopened due to the change of setoid | 2008-03-08 | |
* | Correction du bug #1634 + ajout de bugs dans la test-suite | 2007-08-22 |