| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | Mises à jour bugs, CHANGES, code mort |  herbelin | 2008-04-15 |
| * | Document CHANGES in setoid rewrite, move DefaultRelation to |  msozeau | 2008-04-15 |
| * | * added a subsection to explain the automatic declaration of schemes: |  vsiles | 2008-04-15 |
| * | - Add "Global" modifier for instances inside sections with the usual | msozeau | 2008-04-15 |
| * | - Un peu de doc, préparation du CHANGES pour la release. | herbelin | 2008-04-15 |
| * | typo | vsiles | 2008-04-15 |
| * | fix some bogus calls to id_of_string by the extraction |  letouzey | 2008-04-15 |
| * | BinPos: New version of ~1 and ~0 notations, xH replaced by 1 and proofs cleanup | letouzey | 2008-04-14 |
| * | oubli sur 10790 | herbelin | 2008-04-14 |
| * | suite 10790 (identificateurs) | herbelin | 2008-04-14 |
| * | Diverses corrections | herbelin | 2008-04-14 |
| * | Update doc and remove another overloading of equiv_*. | msozeau | 2008-04-14 |
| * | Renamings to avoid clashes with definitions in Relation_Definitions, now | msozeau | 2008-04-14 |
| * | Fix setoid tests, use red for a Setoid_Theory lemma, and Parametric | msozeau | 2008-04-14 |
| * | Bugs, nettoyage, et améliorations diverses | herbelin | 2008-04-13 |
| * | Désactivation du dumping des notations quand funind appelle les | herbelin | 2008-04-12 |
| * | Document the new setoid rewrite tactic, and fix a few things while | msozeau | 2008-04-12 |
| * | Add the ability to specify what to do with free variables in instance | msozeau | 2008-04-12 |
| * | Adding 'at' to rewrite, as it is already implemented in setoid_rewrite. | msozeau | 2008-04-12 |
| * | Check that no evars remain in instance types earlier at Instance | msozeau | 2008-04-11 |
| * | Verify Setoid is loaded only if we're not in Coq.Classes.*. Add explicit | msozeau | 2008-04-09 |
| * | Verify Setoid is loaded before doing anything. | msozeau | 2008-04-09 |
| * | Fixes in new Morphisms files. | msozeau | 2008-04-09 |
| * | Fix evar bugs in type classes: | msozeau | 2008-04-09 |
| * | contradict can now handle False hypothesis in the spirit of contradiction | letouzey | 2008-04-09 |
| * | Correction bug List.map2 dans Case12.v | herbelin | 2008-04-09 |
| * | Fix the last compilation problem | msozeau | 2008-04-09 |
| * | Fix compilation problem | msozeau | 2008-04-09 |
| * | correction of bug 1829 |  jforest | 2008-04-08 |
| * | - A little cleanup in Classes/*. Separate standard morphisms on | msozeau | 2008-04-08 |
| * | Ajout d'options a coqdoc pour l'entete html |  notin | 2008-04-08 |
| * | Fix big de Bruijn bug in mutually recursive definitions. | msozeau | 2008-04-07 |
| * | Renoncement à rationaliser les Hints "real" vis à vis de Rle/Rge et Rlt/Rgt : | herbelin | 2008-04-06 |
| * | Suite 10760 | herbelin | 2008-04-05 |
| * | - Retour en arrière sur la capacité du nouvel apply à utiliser les | herbelin | 2008-04-05 |
| * | Minor fixes: | msozeau | 2008-04-05 |
| * | Mise en place d'une extension de apply pour que celui-ci sache | herbelin | 2008-04-04 |
| * | A file that can be loaded when a migration from Set to Type is desired | letouzey | 2008-04-04 |
| * | Correction problème de compil (blast.ml) | herbelin | 2008-04-04 |
| * | - Relâchement de la contrainte de bonne longueur des intropatterns | herbelin | 2008-04-04 |
| * | Test make 3.81 | herbelin | 2008-04-04 |
| * | Quelques améliorations des intro patterns: | herbelin | 2008-04-04 |
| * | Erreur ou acceptation silencieuce plutôt qu'avertissement systématique quand | herbelin | 2008-04-04 |
| * | - Amélioration de la présentation de RIneq, même si un nettoyage des | herbelin | 2008-04-04 |
| * | Protection de rewrite in contre le dépliage des constantes dans w_unify, ce qui | herbelin | 2008-04-04 |
| * | Essai d'un peu plus de conversion dans apply : suppression de la | herbelin | 2008-04-03 |
| * | New file FMapFullAVL containing the balancing proofs about FMapAVL: | letouzey | 2008-04-03 |
| * | Correction bug 1818, 3eme commentaire. mauvaise generation de substitution a ... |  soubiran | 2008-04-03 |
| * | - Correction d'un bug de coq_makefile sur les variables CAMLLIBS et | notin | 2008-04-03 |
| * | Rework of FMapAVL inspired by recent changes of FSetAVL: | letouzey | 2008-04-03 |
herbelin
msozeau
vsiles
letouzey
jforest
notin
soubiran