| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | doc: improved xhtml compatibility (cover, header,...) |  Pierre Letouzey | 2014-12-09 |
| * | doc: version number in cover.html + updates in coq.inria.fr style | Pierre Letouzey | 2014-12-09 |
| * | Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document... |  notin | 2014-12-09 |
| * | Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat... | notin | 2014-12-09 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |