| Age | Commit message (Expand) | Author |
|---|
| 2007-06-21 | Adding: Field instance for Q. | roconnor |
| 2007-06-20 | ajout de head0 et tail0 en natif | bgregoir |
| 2007-06-19 | safe_shift correct recursion | thery |
| 2007-06-19 | safe_shift recursion | thery |
| 2007-06-19 | safe_shift recursion | thery |
| 2007-06-19 | typo faq | herbelin |
| 2007-06-19 | Adding function is_even, safe_shiftl, safe_shiftr | thery |
| 2007-06-19 | genN.ml sync | thery |
| 2007-06-18 | Correct height computation | thery |
| 2007-06-14 | oups: one file forgotten in my previous commit | letouzey |
| 2007-06-14 | Rework of FSetProperties, in order to add more easily a Properties functor | letouzey |
| 2007-06-14 | Correction du bug sur make depend | notin |
| 2007-06-14 | Add Solve All Obligations command, fix bug in inequality generation introduce... | msozeau |
| 2007-06-11 | undeletion of E_ST and Equal_ST: these records aren't mandatory, but quite us... | letouzey |
| 2007-06-09 | Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion... | msozeau |
| 2007-06-08 | some more properties of fold and elements in FSetProperties | letouzey |
| 2007-06-08 | Removed an extra \tacindex occurrence for the tactic discriminate. | emakarov |
| 2007-06-07 | Extension of NArith: Nminus, Nmin, etc | letouzey |
| 2007-06-07 | * For uniformity, FSetAVL uses Implicit Arguments (a bit) | letouzey |
| 2007-06-07 | Ajout doc clear sans argument | herbelin |
| 2007-06-07 | Unification des types + clause filtrage manquante + uniformisation locale | herbelin |
| 2007-06-06 | Toujours l'unification de apply : nouveau raffinement pour ne tester | herbelin |
| 2007-06-06 | tail0 | thery |
| 2007-06-05 | Gestion espaces dans notation _ = _ :> _ | herbelin |
| 2007-06-05 | Amélioration de la complexité de auto (l'utilisation des types dans | herbelin |
| 2007-05-30 | Corrections dans le Print Assumption. Les definitions locales ("Let") | aspiwack |
| 2007-05-30 | Memory optimisation for modules and constrs substitutions. | soubiran |
| 2007-05-30 | mul_norm for Q fixed | thery |
| 2007-05-29 | Corrected the treatment of negative numbers for the bigZ parser. And | aspiwack |
| 2007-05-29 | Correction d'un bug dans l'affichage du message d'erreur real_clean | herbelin |
| 2007-05-28 | comparison functions should be Defined not Qed | letouzey |
| 2007-05-28 | Contrôle de la compatibilité de apply via une information dans les | herbelin |
| 2007-05-28 | Retour à un message d'erreur d'apply qui montre un échec sans sans réduction | herbelin |
| 2007-05-28 | Réaffichage des Structure/Record sous la forme Record | herbelin |
| 2007-05-27 | As suggested by Pierre Casteran, fold for FSets/FMaps now takes a | letouzey |
| 2007-05-25 | fix for bug #1347 (no more Scope pollution by FSets) | letouzey |
| 2007-05-25 | Modification of VernacScheme to handle a new scheme: Equality (equality in | vsiles |
| 2007-05-25 | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9859 85f007b7-540e-04... | soubiran |
| 2007-05-25 | Correction of (PR#1576). | soubiran |
| 2007-05-24 | fixed (PR#1483) | corbinea |
| 2007-05-24 | Unification suite: petits affinements pour préserver la compatibilité | herbelin |
| 2007-05-23 | Tentative d'insertion de coercions avant unification si le type de la | herbelin |
| 2007-05-23 | A fix for bug #1397: | letouzey |
| 2007-05-23 | Suite restructuration unification et division des problèmes | herbelin |
| 2007-05-22 | Nouvelle stratégie d'unification des types des with-bindings dans | herbelin |
| 2007-05-22 | Comparaison JMeq/eq_dep | herbelin |
| 2007-05-22 | Par compatibilité, les implicites terminaux sont maximaux aussi quand | herbelin |
| 2007-05-21 | Essai d'une nouvelle heuristique pour clenv_unique_resolver : si le | herbelin |
| 2007-05-21 | Added Z and Q implementations with int31. | aspiwack |
| 2007-05-21 | add_mul_pos uses int31 only | thery |
