coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Mention Consortium in README	Maxime Dénès	2018-06-27
\| \| \| \| \|	We are now actively looking for sponsors, let's make our communication more visible.
*	Move INSTALL.doc into doc/README.md.	Théo Zimmermann	2018-06-22
\| \| \| \| \| \|	This will avoid in particular this ambiguous file extension. [ci skip]
*	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]
*	Add GitLab CI badge in first position.	Théo Zimmermann	2018-05-14
\|
*	[readme] Add DOI badge.	Emilio Jesus Gallego Arias	2018-01-22
\|
*	Merge PR #6484: Update README and CONTRIBUTING to mention the wiki and FAQ.	Maxime Dénès	2017-12-22
\|\
* \|	Fix badges.	Théo Zimmermann	2017-12-21
\| \|
\| *	Update README and CONTRIBUTING to mention the wiki and FAQ.	Théo Zimmermann	2017-12-21
\|/
*	Circle CI: add badge to README.	Gaëtan Gilbert	2017-12-14
\|
*	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