| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Typos. |  gmelquio | 2009-10-13 |
| * | Add doc of [Context] vernacular. |  msozeau | 2009-09-11 |
| * | Backporting from v8.2 to trunk: |  herbelin | 2009-01-18 |
| * | Last changes in type class syntax: | msozeau | 2009-01-18 |
| * | Fixes in the type classes documentation: | msozeau | 2008-12-14 |
| * | Renommage "Global Instance" en "Instance Global" pour uniformisation | herbelin | 2008-10-20 |
| * | A pass on documentation: | msozeau | 2008-09-14 |
| * | Documentation fixes. | msozeau | 2008-07-09 |
| * | Second pass on typeclasses documentation, fix html rendering. | msozeau | 2008-06-08 |
| * | Fix eauto still using delta when it shouldn't (should make CoRN compile | msozeau | 2008-04-29 |
| * | Add almost empty Classes.tex for documentation of type classes. | msozeau | 2008-04-17 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |