| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |