| Commit message (Expand) | Author | Age |
* | - Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs) | herbelin | 2008-06-10 |
* | - Backtrack sur option with_types suite à confusion sur l'utilisation | herbelin | 2008-04-27 |
* | - Backtrack sur extension de syntaxe pour pose qui rentre en conflit avec | herbelin | 2008-04-26 |
* | Prise en compte des coercions dans les clauses "with" même si le type | herbelin | 2008-04-23 |
* | - Parameterize unification by two sets of transparent_state, one for open | msozeau | 2008-04-21 |
* | Bug squashing day ! | msozeau | 2008-04-17 |
* | Bugs, nettoyage, et améliorations diverses | herbelin | 2008-04-13 |
* | Adding 'at' to rewrite, as it is already implemented in setoid_rewrite. | msozeau | 2008-04-12 |
* | Using the "relation" constant made some unifications fail in the new | msozeau | 2008-03-16 |
* | Plug the new setoid implemtation in, leaving the original one commented | msozeau | 2008-03-06 |
* | Essai de prise en compte de delta dans unify_0 (même sur termes non clos). | herbelin | 2008-02-13 |
* | Mise en place d'une toute petite amélioration de l'unification de | herbelin | 2008-02-07 |
* | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack | 2007-12-06 |
* | Factorisation des opérations sur le type option de Util dans un module | aspiwack | 2007-12-05 |
* | Allowing setoid_reflexivity_in to work on quantified hypothesis (bug #1710) | letouzey | 2007-10-10 |
* | Correcting error message when adding Setoid, Relation or morphism (bug #1626) | jforest | 2007-10-02 |
* | Découpage de Setoid.v | notin | 2007-09-27 |
* | Correction du bug #1634 + ajout de bugs dans la test-suite | notin | 2007-08-22 |
* | Correction du bug #1322 | notin | 2007-08-16 |
* | A fix for bug #1397: | letouzey | 2007-05-23 |
* | Nouvelle stratégie d'unification des types des with-bindings dans | herbelin | 2007-05-22 |
* | - Propagation des evars non résolues vers les with_bindings; permet par exemple | herbelin | 2007-05-20 |
* | Correction des bugs #1537 (anomalie sur signature incomplète) et #1536 | herbelin | 2007-05-17 |
* | Multiples changements autour des implicites : | herbelin | 2007-04-29 |
* | New keyword "Inline" for Parameters and Axioms for automatic | soubiran | 2007-04-25 |
* | Nettoyage des tactiques basées sur "simpl" (delta-réduction cachant | herbelin | 2007-04-13 |
* | Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo... | herbelin | 2007-02-24 |
* | Ajout fonction clenv_conv_leq pour résoudre les pbs de la forme | herbelin | 2007-02-22 |
* | Raffinement de l'unification de "apply": mémorisation de certains | herbelin | 2006-11-19 |
* | Quick hack to solve to complexity issue in function mark_occur | herbelin | 2006-11-01 |
* | Retour sur la modification apportée en r9289, et nouvelle correction du bug ... | notin | 2006-10-31 |
* | Affichage d'un message d'erreur losque qu'une relation n'a pas été déclarÃ... | notin | 2006-10-26 |
* | Correction du bug #1255 (réécriture setoid sous un produit) | notin | 2006-10-20 |
* | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | barras | 2006-09-26 |
* | + Changing "in <hyp>" to "in <clause>" (no at, no InValue and no | jforest | 2006-08-22 |
* | reparation pour le bug #1072 (soufflee par J. Forest): | letouzey | 2006-06-06 |
* | encore un correctif sur le rewrite H in setoid: | letouzey | 2006-05-05 |
* | Standardisation nom option_app en option_map | herbelin | 2006-04-27 |
* | resolution du bug/souhait #1101 : rewrite setoid dans les hypotheses | letouzey | 2006-04-05 |
* | Réorganisation de la structure interne des types de déclarations (decl_kinds) | herbelin | 2006-01-28 |
* | Restructuration et simplification des fonctions d'affichage, de détypage | herbelin | 2006-01-11 |
* | Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*... | herbelin | 2005-12-26 |
* | Changement des named_context | gregoire | 2005-12-02 |
* | Nettoyage suite à la détection par défaut des variables inutilisées par o... | herbelin | 2005-11-08 |
* | Sur le conseil de X.Leroy: x=[||] devient Array.length x=0 | letouzey | 2005-08-19 |
* | New commit to allow definitions of morphisms on relations whose carrier is | sacerdot | 2005-05-24 |
* | Setoid_replace: improved error message when trying to replace a term in a | sacerdot | 2005-05-19 |
* | A wish by Bas Spitters granted: a little more of unification up to | sacerdot | 2005-05-19 |
* | Bug (reported by Lionel Mamane) fixed: the test for non-occurrence of the | sacerdot | 2005-01-18 |
* | Bug fixed (reported by Roland): the setoire_rewrite in tactic did not work | sacerdot | 2005-01-17 |