coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Amend wording to capture intended meaning	Sam Pablo Kuper	2017-08-03
\| \| \| \| \| \|	per @Zimmi48's comments [here](https://github.com/coq/coq/pull/944#discussion_r131072333) and [here](https://github.com/coq/coq/pull/944#discussion_r131072790).
*	Fix typos. Improve wording.	Sam Pablo Kuper	2017-08-01
\|
*	Move README.ci to markdown	Théo Zimmermann	2017-06-02
	The file was already (mostly) following Markdown syntax so we just take advantage of this by moving to a .md extension.