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