coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Mention test-suite in PR template	Jason Gross	2018-05-28
\| \| \| \|	Close #7617
*	Remove dashes from PR template	Jason Gross	2018-05-23
\| \| \|	As per PR comment suggestion
*	Mention warning and error message docs in PR template	Jason Gross	2018-05-22
\| \| \| \| \| \| \| \| \|	This closes #7580 c.f. https://github.com/coq/coq/pull/7559#issuecomment-390749207 and https://github.com/coq/coq/pull/7559#issuecomment-390872924. This should be reverted if and when we move to autogenerated docs for warnings and errors, as suggested in #7373.
*	[PR template] Remove the relative link.	Théo Zimmermann	2018-01-05
\| \| \| \|	Was actually pointing to https://github.com/CHANGES.
*	Create pull request template.	Théo Zimmermann	2017-12-24