coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fixed typos, wording and grammar errors in the Preamble of the Reference ↵	Zeimer	2018-07-12
\| \| \| \|	Manual (Introduction, Credits).
*	Self-credit for the work done.	Théo Zimmermann	2018-06-28
\| \| \| \| \| \|	I reused the sentence from the version 8.7 credits. It wasn't initially decided like this but it looks like I'm the de facto maintainer for this release as well.
*	Add introduction and credits to the TOC.	Théo Zimmermann	2018-06-17
\| \| \| \|	Move credits to its own chapter (closes #6573).
*	Add some 8.8.0 contributors in credits	Maxime Dénès	2018-04-17
\|
*	Add credits related to the Sphinx migration.	Théo Zimmermann	2018-04-11
\| \| \| \|	Closes #7209.
*	Fix wrong mention in the release notes.	Théo Zimmermann	2018-04-11
\|
*	Sphinx docs: fix typo (non-ASCII character lost in sphinx migration)	Peter LeFanu Lumsdaine	2018-04-04
\|
*	Latest fixes.	Matthieu Sozeau	2018-03-16
\| \| \| \| \|	I think we can all agree this release has a chilean flavor anyway (as in hot and cold :)
*	Fix some items in Credits	Maxime Dénès	2018-03-15
\|
*	Credits for 8.8	Matthieu Sozeau	2018-03-15
\|
*	[Sphinx] Add credits	Maxime Dénès	2018-03-15
\|
*	[Sphinx] Move credits to new infrastructure	Maxime Dénès	2018-03-15