| Commit message (Expand) | Author | Age |
|---|
| * | Using the "relation" constant made some unifications fail in the new |  msozeau | 2008-03-16 |
| * | Ajout cible programs comme synonyme de subtac |  herbelin | 2008-03-16 |
| * | Misc: Add test for bug 1704, now closed. Add usual syntax for lists in | msozeau | 2008-03-16 |
| * | Reorganize Program and Classes theories. Requiring Setoid no longer sets | msozeau | 2008-03-16 |
| * | Minor fixes on setoid rewriting. Now uses definitions of [relation] and | msozeau | 2008-03-16 |
| * | Reorganisation of FSetAVL (consequences of remarks by B. Gregoire) |  letouzey | 2008-03-15 |
| * | Forgot the test file. | msozeau | 2008-03-15 |
| * | Do a second pass on the treatment of user-given implicit arguments. Now | msozeau | 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-15 |
| * | 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-14 |
| * | fix the 'decreasing on Xth' message | letouzey | 2008-03-13 |
| * | 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 |
msozeau
herbelin
letouzey
courtieu
soubiran
filliatr
vsiles
jforest
notin