| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824 |  herbelin | 2009-01-21 |
| * | Propriétés svn pour les filtres latex |  notin | 2009-01-19 |
| * | Backporting from v8.2 to trunk: | herbelin | 2009-01-18 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |