coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge PR #7285: Give advice on managing GitHub notifications in CONTRIBUTING.	Maxime Dénès	2018-05-26
\|\
\| *	Give advice on managing GitHub notifications in CONTRIBUTING.	Théo Zimmermann	2018-05-14
\| \|
* \|	Update CI documentation following recent evolutions.	Théo Zimmermann	2018-05-14
\|/
*	Adapt CONTRIBUTING to recent changes in Coq.	Théo Zimmermann	2018-04-05
\| \| \| \| \| \|	- The testing and benchmarking labels are now distinct. - The release manager does not take care of merging anymore. - The reference manual is not written in LaTeX anymore.
*	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
\| \| \| \| \|	This commit adds an issue template asking for version and OS information and adapts the contributing guide to the change of bug tracker.
*	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
\| \| \| \| \|	I don't really want to recommend that someone subscribes to ask a question.
*	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
\| \| \| \|	Incorporating some feedback from @Zimmi48
*	Add a set of contributing guidelines	Tej Chajed	2017-08-10
	Heavily inspired by the Rust guidelines (https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md).