| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Document how to restart failed CI jobs. |  Théo Zimmermann | 2018-06-13 |
| * | Markdown docs: switch from absolute to relative links. | Théo Zimmermann | 2018-06-13 |
| * | Complete rewrite of the documentation of overlays after Jim's additional comm... | Théo Zimmermann | 2018-05-24 |
| * | Improve merging and overlay documentations. | Théo Zimmermann | 2018-05-24 |
| * | Update MERGING.md |  Matthieu Sozeau | 2018-05-15 |
| * | Update MERGING.md | Matthieu Sozeau | 2018-05-15 |
| * | git / gpg integration link | Matthieu Sozeau | 2018-05-15 |
| * | merge script support https + typos in doc |  Pierre Courtieu | 2018-04-11 |
| * | Add note for homebrew users. | Théo Zimmermann | 2018-04-05 |
| * | Some advice about merge script dependencies. | Théo Zimmermann | 2018-04-05 |
| * | Improve the MERGING doc. | Théo Zimmermann | 2018-04-05 |
| * | More precise wording about the merge process. |  Maxime Dénès | 2018-03-23 |
| * | Refine a bit the decentralized merging process. | Maxime Dénès | 2018-03-21 |
| * | Describe new merging process. | Maxime Dénès | 2018-03-19 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |