| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Link to the existing list of tutorials |  Tej Chajed | 2017-08-12 |
| * | Simplify a bit of wording | Tej Chajed | 2017-08-10 |
| * | Describe pull requests a bit more precisely | Tej Chajed | 2017-08-10 |
| * | Some more tweaks to contributing guide | Tej Chajed | 2017-08-10 |
| * | Amendments to contributing doc | Tej Chajed | 2017-08-10 |
| * | Add a set of contributing guidelines | Tej Chajed | 2017-08-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/CONTRIBUTING.md