coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6543: Update headers and credits	Maxime Dénès	2018-02-24
\|\
\| *	Mention the CREDITS file in CONTRIBUTING.	Théo Zimmermann	2018-02-21
* \|	Document configure setting up pre-commit hook in CONTRIBUTING.md	Gaëtan Gilbert	2018-02-08
* \|	Have the pre-commit hook also fix end-of-file nl	Jason Gross	2018-02-08
* \|	Mention linter and pre-commit hook in CONTRIBUTING.md.	Gaëtan Gilbert	2018-02-08
\|/
*	First stab at documenting the test suite.	Jasper Hugunin	2018-01-06
*	Update README and CONTRIBUTING to mention the wiki and FAQ.	Théo Zimmermann	2017-12-21
*	Update PR filter used by RM.	Maxime Dénès	2017-11-24
*	Add PR filter used by RM to the contributing guide.	Maxime Dénès	2017-11-23
*	Fixing link to GitHub issue search, and wording.	Théo Zimmermann	2017-10-18
*	Moving to GitHub issues.	Théo Zimmermann	2017-10-18
*	Move README.ci and link to it from CONTRIBUTING.	Théo Zimmermann	2017-09-08
*	Fix link to debugging file.	Théo Zimmermann	2017-08-29
*	Don't belittle the size of the SE community	Tej Chajed	2017-08-18
*	Don't mention coq-club at all	Tej Chajed	2017-08-18
*	Advise contributors to use SE over coq-club	Tej Chajed	2017-08-18
*	Never mind, don't mention coqdev	Tej Chajed	2017-08-15
*	Mention coqdev@	Tej Chajed	2017-08-15
*	Also mention Stack Exchange	Tej Chajed	2017-08-12
*	Add some things Jason mentioned	Tej Chajed	2017-08-12
*	Expand PR process explanation	Tej Chajed	2017-08-12
*	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