| Commit message (Expand) | Author | Age |
|---|
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Death of "survive_module" and "survive_section" (the first one was |  herbelin | 2009-08-13 |
| * | - Granted wish #2138 (support for local binders in syntax of Record fields). | herbelin | 2009-07-15 |
| * | Reactivation of pattern unification of evars in apply unification, in | herbelin | 2009-07-08 |
| * | Fix wrong pattern in Morphisms. Fix bug scripts to reflect the fact that |  msozeau | 2009-04-20 |
| * | Fix bug #2089: correctly dealing with parameters and real arguments in | msozeau | 2009-04-16 |
| * | Fix and actually beautify the bug script to adapt to the new measure | msozeau | 2009-04-14 |
| * | Avoid inadvertent declaration of "on" as a keyword. New syntax is | msozeau | 2009-03-29 |
| * | Fixes in Program well-founded definitions: | msozeau | 2009-03-26 |
| * | Fixing bug #1918 (no occur-check in Meta unification was done yet!). | herbelin | 2009-01-20 |
| * | - Fixing bug 1891 (abusive instantiations of evar arguments in | herbelin | 2009-01-20 |
| * | Backporting from v8.2 to trunk: | herbelin | 2009-01-18 |
| * | Fix a bunch of bugs related to setoid_rewrite, unification and evars: | msozeau | 2009-01-12 |
| * | - Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024). | herbelin | 2009-01-11 |
| * | Fixed bugs #2001 (search_guard was overwriting the guard index given | herbelin | 2009-01-04 |
| * | - Fixed bug #2021 (uncaught exception with injection/discriminate when | herbelin | 2009-01-01 |
| * | Finish fix for the treatment of [inverse] in [setoid_rewrite], making a | msozeau | 2008-12-16 |
| * | fixed bug 1791: simpl was performing eta expansion |  barras | 2008-11-27 |
| * | closed bug 1898: fold x in x; added a reordering primitive tactic | barras | 2008-11-26 |
| * | Fixed bug #2006 (type constraint on Record was not taken into account) + | herbelin | 2008-11-23 |
| * | Add missing test-suite files for closed bugs. | msozeau | 2008-11-14 |
| * | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11583 85f007b7-540e-0... | barras | 2008-11-13 |
| * | Report change of the implicit argument status of the carrier type in the | msozeau | 2008-09-16 |
| * | Fix bug #1931 by searching for a sort after doing beta,iota,delta- | msozeau | 2008-09-14 |
| * | Fix bug #1935, reworking the reflexivity, symmetry... tactics to use | msozeau | 2008-09-03 |
| * | A better test for relations being setoids or not: do leibniz rewrite iff | msozeau | 2008-07-25 |
| * | Add test-suite file for bug# 1905 and minor fix in Program/Equality. | msozeau | 2008-07-22 |
| * | Uniformisation du format des messages d'erreur (commencent par une | herbelin | 2008-07-17 |
| * | Prise en compte de changments dans subtac |  notin | 2008-07-03 |
| * | - Correct handling of DependentMorphism error, using tclFAIL instead of | msozeau | 2008-06-10 |
| * | - Documentation de admit et Print Assumptions. | herbelin | 2008-06-09 |
| * | Temporarily disabling automatic test for bug 1338.v | notin | 2008-06-03 |
| * | fixed bug #1780: a lift was missing (match predicate) | barras | 2008-05-29 |
| * | Mises à jour test-suite + amélioration message d'erreur pour non-bug #1757 | herbelin | 2008-05-07 |
| * | Backtrack on using metas eagerly in auto, only done in "new auto" for | msozeau | 2008-04-28 |
| * | - Fix bug in eterm which was not taking filtered contexts in evars into | msozeau | 2008-04-25 |
| * | - 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-21 |
| * | Bug squashing day ! | msozeau | 2008-04-17 |
| * | Mises à jour bugs, CHANGES, code mort | herbelin | 2008-04-15 |
| * | Fix test-suite files, change conflicting notation "->rel" and the others | msozeau | 2008-03-29 |
| * | Correction du bug 1816 (ajout d'un lemme dans Znat) et suppression | notin | 2008-03-28 |
| * | Diverses petites modifs dans la test-suite: | notin | 2008-03-26 |
| * | Add the possibility of specifying constants to unfold for typeclass | msozeau | 2008-03-17 |
| * | Misc: Add test for bug 1704, now closed. Add usual syntax for lists in | msozeau | 2008-03-16 |
| * | Fix bugs that were reopened due to the change of setoid | msozeau | 2008-03-08 |
| * | Backport code from command.ml to subtac_command.ml for definining | msozeau | 2008-02-08 |
| * | Ajout d'un test pour le bug #1787 | notin | 2008-02-05 |
| * | Ajout de 2 tests | notin | 2008-02-01 |
| * | Fermeture du bug #1754 | notin | 2008-01-24 |
glondu
herbelin
msozeau
barras
notin