| Age | Commit message (Expand) | Author |
|---|
| 2008-09-03 | Fix bug #1935, reworking the reflexivity, symmetry... tactics to use | msozeau |
| 2008-07-25 | A better test for relations being setoids or not: do leibniz rewrite iff | msozeau |
| 2008-07-22 | Add test-suite file for bug# 1905 and minor fix in Program/Equality. | msozeau |
| 2008-07-17 | Uniformisation du format des messages d'erreur (commencent par une | herbelin |
| 2008-07-03 | Prise en compte de changments dans subtac | notin |
| 2008-06-10 | - Correct handling of DependentMorphism error, using tclFAIL instead of | msozeau |
| 2008-06-09 | - Documentation de admit et Print Assumptions. | herbelin |
| 2008-06-03 | Temporarily disabling automatic test for bug 1338.v | notin |
| 2008-05-29 | fixed bug #1780: a lift was missing (match predicate) | barras |
| 2008-05-07 | Mises à jour test-suite + amélioration message d'erreur pour non-bug #1757 | herbelin |
| 2008-04-28 | Backtrack on using metas eagerly in auto, only done in "new auto" for | msozeau |
| 2008-04-25 | - Fix bug in eterm which was not taking filtered contexts in evars into | msozeau |
| 2008-04-21 | - Correct unification for the rewrite variant of setoid_rewrite, | msozeau |
| 2008-04-21 | - Parameterize unification by two sets of transparent_state, one for open | msozeau |
| 2008-04-17 | Bug squashing day ! | msozeau |
| 2008-04-15 | Mises à jour bugs, CHANGES, code mort | herbelin |
| 2008-03-29 | Fix test-suite files, change conflicting notation "->rel" and the others | msozeau |
| 2008-03-28 | Correction du bug 1816 (ajout d'un lemme dans Znat) et suppression | notin |
| 2008-03-26 | Diverses petites modifs dans la test-suite: | notin |
| 2008-03-17 | Add the possibility of specifying constants to unfold for typeclass | msozeau |
| 2008-03-16 | Misc: Add test for bug 1704, now closed. Add usual syntax for lists in | msozeau |
| 2008-03-08 | Fix bugs that were reopened due to the change of setoid | msozeau |
| 2008-02-08 | Backport code from command.ml to subtac_command.ml for definining | msozeau |
| 2008-02-05 | Ajout d'un test pour le bug #1787 | notin |
| 2008-02-01 | Ajout de 2 tests | notin |
| 2008-01-24 | Fermeture du bug #1754 | notin |
| 2008-01-23 | Ajout d'un test pour le bug #1779 | notin |
| 2008-01-23 | Ajout d'un test pour le mode déclaratif + test pour le bug #1776 | notin |
| 2008-01-21 | Correction du bug #1754 | notin |
| 2008-01-02 | Better resolution of implicit parameters in typeclass binders, add extensiona... | msozeau |
| 2007-12-21 | Ajouts de quelques tests sur les bugs | notin |
| 2007-12-12 | Ajout d'un test pour le bug #1100 | notin |
| 2007-12-11 | Test pour le bug #1754 | notin |
| 2007-10-04 | Correction bug 1718 (lazy delta unfolding used to miss delta on rels and vars) | herbelin |
| 2007-09-21 | Correction d'un bug dans check + ajout de tests | notin |
| 2007-09-21 | - Fixing bug 1703 ("intros until n" falls back on the variable name when | herbelin |
| 2007-08-22 | Correction du bug #1634 + ajout de bugs dans la test-suite | notin |
| 2007-08-16 | Correction du bug #1322 | notin |
| 2007-08-16 | Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign; | notin |
| 2007-08-10 | Modification de la test suite pour intégrer des tests spécifiques aux | notin |
