diff options
| author | Tej Chajed | 2017-08-10 13:41:32 +0100 |
|---|---|---|
| committer | Tej Chajed | 2017-08-10 13:43:00 +0100 |
| commit | de170f36c9b8e36810126fec82ff9cce2a2af2e7 (patch) | |
| tree | 588eb829bd159bb9f21ee51a1b3bf013878dea26 /README.md | |
| parent | a1fc30e9d90885ed665e350c1ef4598e66f3d68d (diff) | |
Some more tweaks to contributing guide
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -47,3 +47,7 @@ Send your bug reports by filling a form at [coq.inria.fr/bugs](http://coq.inria. To be effective, bug reports should mention the OCaml version used to compile and run Coq, the Coq version (`coqtop -v`), the configuration used, and include a complete source example leading to the bug. + +## Contributing + +Guidelines for contributing to Coq in various ways are listed in the [contributor's guide](CONTRIBUTING.md). |