| Commit message (Expand) | Author | Age |
|---|
| * | Update copyright headers. |  Maxime Dénès | 2016-01-20 |
| * | Update headers. | Maxime Dénès | 2015-01-12 |
| * | Updating headers. |  herbelin | 2012-08-08 |
| * | First release of Vector library. |  pboutill | 2010-12-10 |
| * | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
| * | Remove the svn-specific $Id$ annotations |  letouzey | 2010-04-29 |
| * | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey | 2009-09-28 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Minor fixes in typeclasses: |  msozeau | 2009-05-16 |
| * | - Implementation of a new typeclasses eauto procedure based on success | msozeau | 2009-04-27 |
| * | Better Requires in Classes. Fix bug #2093: the code does not require | msozeau | 2009-04-16 |
| * | Finish fix for the treatment of [inverse] in [setoid_rewrite], making a | msozeau | 2008-12-16 |
| * | Fix bug #1977 by allowing the [apply] variants to take an [open_constr] | msozeau | 2008-10-23 |
| * | Fix dependency problem that makes compilation fail :) | msozeau | 2008-08-23 |
| * | - New auto hints for transparency/opacity control, not bound to | msozeau | 2008-08-22 |
| * | Fixes in dependent induction tactic to keep names, allow giving | msozeau | 2008-08-21 |
| * | New tactics [conv] to test convertibility (actually, unification) of two | msozeau | 2008-07-22 |
| * | Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient | herbelin | 2008-04-01 |
| * | Proper implicit arguments handling for assumptions | msozeau | 2008-02-26 |
| * | Change implementation of resolution for typeclasses to use a customized | msozeau | 2008-02-08 |
| * | New algorithm to resolve morphisms, after discussion with Nicolas | msozeau | 2008-02-06 |
| * | Change notation for setoid inequality, coerce objects before comparing them. ... | msozeau | 2008-01-18 |
| * | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau | 2007-12-31 |
Maxime Dénès
herbelin
pboutill
letouzey
glondu
msozeau