| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-08 | Move README.ci and link to it from CONTRIBUTING. | Théo Zimmermann | |
| 2017-09-08 | Update CI policy. | Théo Zimmermann | |
| 2017-08-03 | Amend wording to capture intended meaning | Sam Pablo Kuper | |
| per @Zimmi48's comments [here](https://github.com/coq/coq/pull/944#discussion_r131072333) and [here](https://github.com/coq/coq/pull/944#discussion_r131072790). | |||
| 2017-08-01 | Fix typos. Improve wording. | Sam Pablo Kuper | |
| 2017-06-02 | Move README.ci to markdown | Théo Zimmermann | |
| The file was already (mostly) following Markdown syntax so we just take advantage of this by moving to a .md extension. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/README.ci.md