coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixed typos, wording and grammar errors in the Preamble of the Reference Manu...	Zeimer	2018-07-12
*	Merge PR #7851: Modernize the introduction of the reference manual.	Maxime Dénès	2018-06-26
\|\
* \	Merge PR #7784: Remove Tutorials from a few other places following #7466.	Maxime Dénès	2018-06-24
\|\ \
\| \| *	Mention Company-Coq as well.	Théo Zimmermann	2018-06-20
\| \| *	Add a good reference for Proof-General as suggested by Clément.	Théo Zimmermann	2018-06-20
\| \| *	Modernize the introduction of the reference manual.	Théo Zimmermann	2018-06-20
\| * \|	Remove Tutorial from Additional documentation in refman intro.	Théo Zimmermann	2018-06-17
\| \|/
* /	Add introduction and credits to the TOC.	Théo Zimmermann	2018-06-17
\|/
*	Suggest going to /documentation to see a list of tutorials.	Théo Zimmermann	2018-05-10
*	[Sphinx] Fix all remaining warnings.	Maxime Dénès	2018-04-14
*	Remove empty reference to the current version of Coq.	Théo Zimmermann	2018-04-11
*	[Sphinx] Add introduction	Maxime Dénès	2018-03-13
*	[Sphinx] Move introduction to new infrastructure	Maxime Dénès	2018-03-13