coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove dependency on -compat flag in coq_makefile test suite.	Maxime Dénès	2017-06-15
*	Merge PR#709: Bytecode compilation apart from 'make world', again	Maxime Dénès	2017-06-12
\|\
* \|	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
* \|	Test-suite: do not test native compiler if disabled by configure.	Maxime Dénès	2017-06-01
\| *	test-suite/coq-makefile: we do not build byte file by default anymore	Pierre Letouzey	2017-06-01
\|/
*	Merge PR#687: Gitlab CI	Maxime Dénès	2017-05-29
\|\
* \	Merge PR#689: Changes to make coq-makefile not failing on MacOS X.	Maxime Dénès	2017-05-28
\|\ \
* \ \	Merge PR#683: coq_makefile: build .cma for each .mlpack	Maxime Dénès	2017-05-28
\|\ \ \
\| \| \| *	Gitlab CI	Gaëtan Gilbert	2017-05-28
\| * \| \|	coq_makefile: build .cma for each .mlpack	Enrico Tassi	2017-05-27
\| \| \|/ \| \|/\|
* \| \|	Add execution permission to test-suite file.	Théo Zimmermann	2017-05-27
* \| \|	Use specific shell for more robustness.	Théo Zimmermann	2017-05-27
* \| \|	Fix test-suite/coq-makefile on NixOS.	Théo Zimmermann	2017-05-27
\|/ /
\| *	Changes to make coq-makefile not failing on MacOS X.	Hugo Herbelin	2017-05-26
\|/
*	add the only target	Enrico Tassi	2017-05-23
*	coq_makefile: don't quote extra arguments (-arg)	Enrico Tassi	2017-05-23
*	test suite for coq_makefile2	Enrico Tassi	2017-05-23
*	test suite for coq_makefile	Enrico Tassi	2017-05-23