coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Clean up documentation around beginner's guide.	Siddharth Bhat	2018-07-02
\| \| \| \| \| \| \| \| \|	- move `README` to `README.md` to take advantage of markdown features - remove `setup.txt`, port the editor specific information to the wiki. Merge development information into `dev/doc/README.md`. Wiki merge link: https://github.com/coq/coq/wiki/DevelSetup. - Add new links to files into `dev/README.md`. - Remove stale `translate.txt`.
*	Markdown docs: switch from absolute to relative links.	Théo Zimmermann	2018-06-13
\| \| \| \| \| \| \| \| \| \|	We had mostly used absolute links in the past. I just discovered that GitHub recommends using relative links instead: https://help.github.com/articles/basic-writing-and-formatting-syntax/#relative-links and indeed my Emacs Markdown mode can handle relative links but doesn't interpret absolute links relatively to the root of the git repository. [ci skip]
*	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).