coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-02-08	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-01-06	First stab at documenting the test suite.	Jasper Hugunin

2017-12-21	Update README and CONTRIBUTING to mention the wiki and FAQ.	Théo Zimmermann

2017-11-24	Update PR filter used by RM.	Maxime Dénès

2017-11-23	Add PR filter used by RM to the contributing guide.	Maxime Dénès

2017-10-18	Fixing link to GitHub issue search, and wording.	Théo Zimmermann

2017-10-18	Moving to GitHub issues.	Théo Zimmermann
	This commit adds an issue template asking for version and OS information and adapts the contributing guide to the change of bug tracker.
2017-09-08	Move README.ci and link to it from CONTRIBUTING.	Théo Zimmermann

2017-08-29	Fix link to debugging file.	Théo Zimmermann

2017-08-18	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-15	Never mind, don't mention coqdev	Tej Chajed
	I don't really want to recommend that someone subscribes to ask a question.
2017-08-15	Mention coqdev@	Tej Chajed

2017-08-12	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-10	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
	Incorporating some feedback from @Zimmi48
2017-08-10	Add a set of contributing guidelines	Tej Chajed
	Heavily inspired by the Rust guidelines (https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md).