| Commit message (Expand) | Author | Age |
|---|
| * | Fixes and refinements regarding occurrence selection: |  herbelin | 2008-10-26 |
| * | Backtrack sur commit 11467 (tentative d'optimisation meta_instance qui | herbelin | 2008-10-26 |
| * | More debugging of handling of open constrs with typeclasses: |  msozeau | 2008-10-25 |
| * | Open notation for declaring record instances. | msozeau | 2008-10-23 |
| * | Retour en arrière pour raison de compatibilité sur la suppression du nf_evar | herbelin | 2008-10-19 |
| * | Optimisation de clenv.ml pour que meta_instance ne soit pas appelé | herbelin | 2008-10-18 |
| * | * Fixed constr_cmp again to handle universes subtyping correctly |  puech | 2008-10-09 |
| * | fixing r11433 again: |  barras | 2008-10-07 |
| * | (Try to) use the conversion oracle also in w_unify to choose which constant to | msozeau | 2008-10-03 |
| * | Fixing constr_cmp, propagating subtyping only right of a product | puech | 2008-10-02 |
| * | Correcting a delta normalization bug in VM (checked by benjamin) |  jforest | 2008-09-30 |
| * | Partial fix for bug #1948: recompute order of dependencies between | msozeau | 2008-09-25 |
| * | Fix bug #1943 and restrict the inference optimisation of Program to | msozeau | 2008-09-15 |
| * | Fix bug #1936: uncaught exception due to undefinable exceptions. | msozeau | 2008-09-14 |
| * | Fix bug #1940: uncaught exception when searching for a type class. | msozeau | 2008-09-14 |
| * | Fix a bug, in fold_constr_with_binders, the types of fixpoints were | msozeau | 2008-09-13 |
| * | Better handling of the opacity of proof obligations, add the possibility of | msozeau | 2008-09-07 |
| * | Fix camlp5-ism "Ploc.Exc" and add a unification fix: when solving an | msozeau | 2008-09-04 |
| * | Propagating commit 11343 from branch v8.2 to trunk (wish 1934 about | herbelin | 2008-09-02 |
| * | Fix implementation of "Global Instance" which redeclared the same | msozeau | 2008-08-27 |
| * | Correction de bugs: | herbelin | 2008-08-05 |
| * | Correction bug de filtrage sous-terme #1920 introduit dans commit | herbelin | 2008-08-05 |
| * | Suite 11187 et 11298 : ne retarder le dépliage d'une projection | herbelin | 2008-08-05 |
| * | Report des commits 11297 et 11299 (nom Unnamed_theorem local caché par | herbelin | 2008-08-04 |
| * | Évolutions diverses et variées. | herbelin | 2008-08-04 |
| * | Corrige un bug du commit 11187 (le comportement à respecter était | herbelin | 2008-07-31 |
| * | Backport r11289. | msozeau | 2008-07-29 |
| * | Fix bug in term dnet preventing some unifications. Allow "higher-order" | msozeau | 2008-07-28 |
| * | Even better test for choosing rewrite or setoid_rewrite. | msozeau | 2008-07-26 |
| * | Correction d'une incohérence de typage des inductifs polymorphes: les | herbelin | 2008-07-25 |
| * | broke cyclic dependencies | barras | 2008-07-24 |
| * | A try at allowing matching on applications as a binary syntax node by default. | msozeau | 2008-07-22 |
| * | Correct implementation of discharging of implicit arguments and add new | msozeau | 2008-07-22 |
| * | Modification rapide du message d'erreur lorsqu'un _ ne peut être | herbelin | 2008-07-18 |
| * | Uniformisation du format des messages d'erreur (commencent par une | herbelin | 2008-07-17 |
| * | Quelques modifications autour du filtrage Ltac: | herbelin | 2008-07-16 |
| * | - Improve [Context] vernacular to allow arbitrary binders, not just | msozeau | 2008-07-07 |
| * | Fixes in handling of implicit arguments: | msozeau | 2008-07-04 |
| * | Various bug fixes in type classes and subtac: | msozeau | 2008-07-01 |
| * | Correction d'un bug dans l'analyse des contraintes non résolues | herbelin | 2008-06-29 |
| * | Préférence donnée aux constantes qui ne sont pas des projections | herbelin | 2008-06-29 |
| * | Code cleanup in typeclasses, remove dead and duplicated code. | msozeau | 2008-06-21 |
| * | Fix bug #1889, correct globalization in class declarations. | msozeau | 2008-06-21 |
| * | - Implantation de la suggestion 1873 sur discriminate. Au final, | herbelin | 2008-06-21 |
| * | Correction bug #1886 (pb unification.ml, report de 11157 de v8.2 vers trunk) | herbelin | 2008-06-21 |
| * | Various improvements in handling of evars in general and typing | msozeau | 2008-06-21 |
| * | Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk | herbelin | 2008-06-18 |
| * | Fix bug in handling of classes and instances inside sections at | msozeau | 2008-06-17 |
| * | Better typeclass error messages, always giving the full set of | msozeau | 2008-06-17 |
| * | Add possibility to match on defined hypotheses, using brackets to | msozeau | 2008-06-16 |
herbelin
msozeau
puech
barras
jforest