| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-04-17 | Add some 8.8.0 contributors in credits | Maxime Dénès |
| 2018-04-11 | 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-04 | Sphinx docs: fix typo (non-ASCII character lost in sphinx migration) | Peter LeFanu Lumsdaine |
| 2018-03-16 | Latest fixes. | Matthieu Sozeau |
| 2018-03-15 | 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 |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |