coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update and simplify README.	Théo Zimmermann	2017-11-10
\|
*	Add AppVeyor badge next to Travis badge.	Théo Zimmermann	2017-10-19
\|
*	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.
*	Some more tweaks to contributing guide	Tej Chajed	2017-08-10
\|
*	Update Travis badge following the switch to master	Théo Zimmermann	2017-07-11
\|
*	Direct link to Travis branch builds.	Théo Zimmermann	2017-06-14
\|
*	Adding and fixing links in README.	Théo Zimmermann	2017-04-18
\|
*	[readme] Add badges for Travis and Gitter.	Emilio Jesus Gallego Arias	2017-03-28
\|
*	Description added	Guillaume Claret	2015-08-05
\|
*	Simpler titles	Guillaume Claret	2015-08-05
\|
*	README in MarkDown	Guillaume Claret	2015-08-05