coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add [opam update] and online repository to gitlab CI script.	Gaëtan Gilbert	2017-07-21
*	Merge PR #877: Travis+4.05.0	Maxime Dénès	2017-07-20
\|\
\| *	[travis] Update testing to 4.05.0 + Camlp5 7.01	Emilio Jesus Gallego Arias	2017-07-13
* \|	Add timing scripts	Jason Gross	2017-07-11
\|/
*	Merge PR#784: API additions for coq-dpdgraph	Maxime Dénès	2017-06-19
\|\
\| *	Add coq-dpdgraph to gitlab CI	Gaëtan Gilbert	2017-06-16
* \|	Remove bedrock from test suite.	Maxime Dénès	2017-06-15
\|/
*	[travis] extra test ci-bignums (+factorize other scripts)	Pierre Letouzey	2017-06-13
*	[travis] print failing test suite logs on failure	Gaëtan Gilbert	2017-05-31
*	[gitlab] Artifact test suite logs on failure.	Gaëtan Gilbert	2017-05-30
*	Gitlab CI	Gaëtan Gilbert	2017-05-28