| Age | Commit message (Expand) | Author |
|---|
| 2008-03-15 | Adapt funind to the RLetPattern constructor. | msozeau |
| 2008-03-15 | Backtrack sur le test censé discriminer entre une erreur d'evar non | herbelin |
| 2008-03-15 | Application de refresh_universes dans typing.ml et retyping.ml : les | herbelin |
| 2008-03-14 | Suppress some warnings by writing ugly Coq.Relations.Relations in some .v | letouzey |
| 2008-03-14 | avoid universe problems with pf_get_type in f_equal | letouzey |
| 2008-03-14 | New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile | letouzey |
| 2008-03-14 | Backtrack wrong commit. | courtieu |
| 2008-03-14 | kill a warning (and clean the code around) | letouzey |
| 2008-03-14 | nettoyage de code obsolete. | soubiran |
| 2008-03-14 | Ajout des alias de module dans le noyau. | soubiran |
| 2008-03-14 | tactique gappa | filliatr |
| 2008-03-14 | indentation. | courtieu |
| 2008-03-13 | fix the 'decreasing on Xth' message | letouzey |
| 2008-03-13 | trying f | courtieu |
| 2008-03-12 | * Catching a Not_found exception when trying to use Scheme Equality | vsiles |
| 2008-03-11 | 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-10 | 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-09 | 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-08 | 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-07 | 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-06 | 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-05 | 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-04 | 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 |
