| Commit message (Expand) | Author | Age |
|---|
| * | Backtrack sur commit 11467 (tentative d'optimisation meta_instance qui |  herbelin | 2008-10-26 |
| * | Optimisation de clenv.ml pour que meta_instance ne soit pas appelé | herbelin | 2008-10-18 |
| * | Uniformisation du format des messages d'erreur (commencent par une | herbelin | 2008-07-17 |
| * | - Implantation de la suggestion 1873 sur discriminate. Au final, | herbelin | 2008-06-21 |
| * | Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk | herbelin | 2008-06-18 |
| * | - 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 |
| * | Mises à jour bugs, CHANGES, code mort | herbelin | 2008-04-15 |
| * | Diverses corrections | herbelin | 2008-04-14 |
| * | Bugs, nettoyage, et améliorations diverses | herbelin | 2008-04-13 |
| * | Protection de rewrite in contre le dépliage des constantes dans w_unify, ce qui | herbelin | 2008-04-04 |
| * | Do another pass on the typeclasses code. Correct globalization of class |  msozeau | 2008-03-19 |
| * | Solde de code mort et petites optimisations sur lesquels je suis | herbelin | 2008-02-09 |
| * | Mise en place d'une toute petite amélioration de l'unification de | herbelin | 2008-02-07 |
| * | Factorisation des opérations sur le type option de Util dans un module |  aspiwack | 2007-12-05 |
| * | - Préservation des appels récursifs de tête dans ltac (réponse au "wish" | herbelin | 2007-10-12 |
| * | Uniformisation du comportement de rewrite et rewrite in : quand le | herbelin | 2007-10-12 |
| * | Ajout de eelim, ecase, edestruct et einduction (expérimental). | herbelin | 2007-10-03 |
| * | Correction bug 1711 | herbelin | 2007-09-28 |
| * | Toujours l'unification de apply : nouveau raffinement pour ne tester | herbelin | 2007-06-06 |
| * | Correction d'un bug dans l'affichage du message d'erreur real_clean | herbelin | 2007-05-29 |
| * | Contrôle de la compatibilité de apply via une information dans les | herbelin | 2007-05-28 |
| * | Unification suite: petits affinements pour préserver la compatibilité | herbelin | 2007-05-24 |
| * | Tentative d'insertion de coercions avant unification si le type de la | herbelin | 2007-05-23 |
| * | Suite restructuration unification et division des problèmes | herbelin | 2007-05-23 |
| * | Nouvelle stratégie d'unification des types des with-bindings dans | herbelin | 2007-05-22 |
| * | Essai d'une nouvelle heuristique pour clenv_unique_resolver : si le | herbelin | 2007-05-21 |
| * | - Propagation des evars non résolues vers les with_bindings; permet par exemple | herbelin | 2007-05-20 |
| * | - Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771 | herbelin | 2007-04-18 |
| * | Ajout fonction clenv_conv_leq pour résoudre les pbs de la forme | herbelin | 2007-02-22 |
| * | Prise en compte de l'environnement dans les pbs de conversion + MAJ CHANGES | herbelin | 2007-02-21 |
| * | Dépendance inutile en Tacexpr, de proofs, qui se compile en principe après | herbelin | 2006-11-19 |
| * | Raffinement de l'unification de "apply": mémorisation de certains | herbelin | 2006-11-19 |
| * | Suite commit 9277 | herbelin | 2006-10-25 |
| * | Correction d'une tentative incorrecte (révision 9266) de clarification | herbelin | 2006-10-25 |
| * | Ajout de la tactique "apply in". | herbelin | 2006-10-24 |
| * | Standardisation nom option_app en option_map | herbelin | 2006-04-27 |
| * | - Documentation of the Program tactics. | msozeau | 2006-04-07 |
| * | Made pretyping a functor over a coercion implementation. Pretyping.Default us... | msozeau | 2006-03-22 |
| * | 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 |
| * | Added clenv_environments_evars that behaves as clen_environments but |  sacerdot | 2005-05-24 |
| * | Names.substitution (and related functions) and Term.subst_mps moved to | sacerdot | 2004-11-16 |
| * | COMMITED BYTECODE COMPILER |  barras | 2004-10-20 |
| * | error if binder was already defined | barras | 2004-09-23 |
| * | restructuration des printers: proofs passe avant parsing | barras | 2004-09-17 |
| * | hiding the meta_map in evar_defs | barras | 2004-09-15 |
| * | inclusion de meta_map dans evar_defs | barras | 2004-09-12 |
| * | simplification de clenv | barras | 2004-09-10 |
herbelin
msozeau
aspiwack
gregoire
sacerdot
barras