diff options
| author | Théo Zimmermann | 2018-07-03 13:09:10 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-07-03 13:09:10 +0200 |
| commit | 4deb788a24b50eec3da66ed32bb85c185123c007 (patch) | |
| tree | 0996579af49d742b1723c2da12c962c93369bf97 /CONTRIBUTING.md | |
| parent | dbba44b5ea7608a66989b7fb065a0ef0b46ca7fe (diff) | |
| parent | 5dfa8c9d9e3f1a5391825338498e0aaac28b4e28 (diff) | |
Merge PR #7942: Extend readme with 'beginners guide'
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 2dffd2019c..9bd3d0b7c7 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -20,6 +20,9 @@ If you want to minimize your bug (or help minimize someone else's) for more extr ## Pull requests +**Beginner's guide to hacking Coq: [`dev/doc/README.md`](dev/doc/README.md)** \ +**Development information and tools: [`dev/README.md`](dev/README.md)** + If you want to contribute a bug fix or feature yourself, pull requests on the [GitHub repository](https://github.com/coq/coq) are the way to contribute directly to the Coq implementation. We recommend you create a fork of the repository on GitHub and push your changes to a new "topic branch" in that fork. From there you can follow the [GitHub pull request documentation](https://help.github.com/articles/about-pull-requests/) to get your changes reviewed and pulled into the Coq source repository. Documentation for getting started with the Coq sources is located in various |