coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into ↵	Hugo Herbelin	2016-03-09
\| \| \| \| \| \|	aspiwack-render-prehistory3 Pull request #120
*	Prehistory of Coq: move the bibliographic references to a dedicated section.	Arnaud Spiwack	2015-11-11
\| \| \| \|	So as not to clutter the text. Also took the opportunity to add a few missing references.
*	Prehistory of Coq: justification of the plain text.	Arnaud Spiwack	2015-11-11
\|
*	Prehistory of Coq: consistency.	Arnaud Spiwack	2015-11-11
\| \| \| \|	Don't use abbreviated first names in sentences.
*	Prehistory of Coq: various corrections on English.	Arnaud Spiwack	2015-11-11
\|
*	Prehistory of Coq: asciidoc conversion.	Arnaud Spiwack	2015-11-11
	Formatting markup + typography.