| Commit message (Expand) | Author | Age |
|---|
| * | trying f |  courtieu | 2008-03-13 |
| * | * Catching a Not_found exception when trying to use Scheme Equality |  vsiles | 2008-03-12 |
| * | tactique Gappa : mise en place |  filliatr | 2008-03-11 |
| * | Forget to update the CHANGES file after the commit r10180 | vsiles | 2008-03-11 |
| * | tactique Gappa : mise en place | filliatr | 2008-03-11 |
| * | Typo commit 10653 |  herbelin | 2008-03-11 |
| * | Pas très propre de reposer sur la capture des anomalies (et cela | herbelin | 2008-03-10 |
| * | fold travaille maintenant sur la forme beta-iota-zeta réduite du | herbelin | 2008-03-10 |
| * | Indexation de pose proof, et par la même occasion du nouveau specialize | herbelin | 2008-03-10 |
| * | Une passe sur l'unification des evars (suite aux commits 10124, 10125, 10145) | herbelin | 2008-03-10 |
| * | Fix compilation problem and finish little cleanup. |  msozeau | 2008-03-10 |
| * | Add a missing morphism declaration that turns morphisms on R ==> R' to | msozeau | 2008-03-09 |
| * | Fix a few bugs in Program: use user-given typing constraints for | msozeau | 2008-03-09 |
| * | Des choses bizarres avec pa_op.cmo (extension syntaxique pour parser) | herbelin | 2008-03-09 |
| * | New implementation of Add Relation as a DefaultRelation instance | msozeau | 2008-03-08 |
| * | correction d'un bug d'efficacite dans Function (+ ajout de eauto_with_bases) |  jforest | 2008-03-08 |
| * | Fix bugs that were reopened due to the change of setoid | msozeau | 2008-03-08 |
| * | Coq_makefile : backtrack sur les liens vers les exécutables ocaml |  notin | 2008-03-08 |
| * | f_equal, revert, specialize in ML, contradict in better Ltac (+doc) |  letouzey | 2008-03-07 |
| * | repair FSets/FMap after the change in setoid rewrite | letouzey | 2008-03-07 |
| * | Fix bug #1704 (ordering of condition goals for (setoid)rewrite). As part | msozeau | 2008-03-07 |
| * | Correction d'un bug de coq_makefile | notin | 2008-03-07 |
| * | typo in last commit (?) | letouzey | 2008-03-06 |
| * | Plug the new setoid implemtation in, leaving the original one commented | msozeau | 2008-03-06 |
| * | Coquille vraisemblablement introduite par la révision 10628 | notin | 2008-03-06 |
| * | repair for commit 10612 (due to grammar order, some syntaxes weren't working) | letouzey | 2008-03-06 |
| * | Syntax changes in typeclasses, remove "?" for usual implicit arguments | msozeau | 2008-03-06 |
| * | Toujours suite commits 10623 et 10624: | herbelin | 2008-03-06 |
| * | even_2n et odd_S2n deviennent transparents (chez moi, ça empêchait de compi... | notin | 2008-03-06 |
| * | Suite commit 10623: | herbelin | 2008-03-06 |
| * | Correction d'un bug "ancestral": apply ne savait pas unifier ?n=?n | herbelin | 2008-03-06 |
| * | Correction d'une typo restant du commit 10557 et cause d'échec de contribs | herbelin | 2008-03-05 |
| * | Backtrack sur la révision #10401 : suppression de le_minus de la base de hin... | notin | 2008-03-05 |
| * | Attempt of fix for extraction of modules types | letouzey | 2008-03-05 |
| * | Branchement de l'auto-save de coqide par défaut | herbelin | 2008-03-04 |
| * | still one more substituion s/Set/Type/ | letouzey | 2008-03-04 |
| * | one more substitution s/Set/Type/ | letouzey | 2008-03-04 |
| * | migration from Set to Type of FSet/FMap + some dependencies... | letouzey | 2008-03-04 |
| * | use loc instead of dummy_loc in the ugly intro-pattern rewrite hack | letouzey | 2008-03-04 |
| * | A fix for compilation of FMapFacts (a story of impl arg for Logic.eq) | letouzey | 2008-03-02 |
| * | Marche-arrière sur la suppression de l'hypothèse inutile de Rpower_O | herbelin | 2008-03-01 |
| * | Rework on rich forms of rewrite | letouzey | 2008-03-01 |
| * | Petite modif pour pouvoir faire "intros until 0" qui introduit autant |  aspiwack | 2008-02-29 |
| * | Argumentation plus poussée de pourquoi on retire la condition x>0 dans | herbelin | 2008-02-29 |
| * | Some suggestions about FMap by P. Casteran: | letouzey | 2008-02-28 |
| * | Coq_makefile: correction de l'appel aux exécutables Ocaml | notin | 2008-02-28 |
| * | cardinal is promoted to the rank of primitive member of the FMap interface | letouzey | 2008-02-28 |
| * | Coq_makefile: Correction d'un bug sur les options passées à Coqdoc | notin | 2008-02-28 |
| * | Do not open type_scope in SetoidClass. | msozeau | 2008-02-28 |
| * | Fix compilation problem (hopefully). | msozeau | 2008-02-28 |
courtieu
vsiles
filliatr
herbelin
msozeau
jforest
notin
letouzey
aspiwack