| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | - Parameterize unification by two sets of transparent_state, one for open |  msozeau | 2008-04-21 |
| * | Better resolution of implicit parameters in typeclass binders, add extensiona... | msozeau | 2008-01-02 |
| * | Ajouts de quelques tests sur les bugs |  notin | 2007-12-21 |
| * | Correction d'un bug dans check + ajout de tests | notin | 2007-09-21 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |