| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Sphinx docs: fix typo (non-ASCII character lost in sphinx migration) |  Peter LeFanu Lumsdaine | 2018-04-04 |
| * | Latest fixes. |  Matthieu Sozeau | 2018-03-16 |
| * | Fix some items in Credits |  Maxime Dénès | 2018-03-15 |
| * | Credits for 8.8 | Matthieu Sozeau | 2018-03-15 |
| * | [Sphinx] Add credits | Maxime Dénès | 2018-03-15 |
| * | [Sphinx] Move credits to new infrastructure | Maxime Dénès | 2018-03-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |