Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix link to debugging file. | 2017-08-29 | |
* | Don't belittle the size of the SE community | 2017-08-18 | |
* | Don't mention coq-club at all | 2017-08-18 | |
* | Advise contributors to use SE over coq-club | 2017-08-18 | |
* | Never mind, don't mention coqdev | 2017-08-15 | |
* | Mention coqdev@ | 2017-08-15 | |
* | Also mention Stack Exchange | 2017-08-12 | |
* | Add some things Jason mentioned | 2017-08-12 | |
* | Expand PR process explanation | 2017-08-12 | |
* | Link to the existing list of tutorials | 2017-08-12 | |
* | Simplify a bit of wording | 2017-08-10 | |
* | Describe pull requests a bit more precisely | 2017-08-10 | |
* | Some more tweaks to contributing guide | 2017-08-10 | |
* | Amendments to contributing doc | 2017-08-10 | |
* | Add a set of contributing guidelines | 2017-08-10 |