| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add credits related to the Sphinx migration. |  Théo Zimmermann | 2018-04-11 |
| * | Fix wrong mention in the release notes. | Théo Zimmermann | 2018-04-11 |
| * | 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 |