coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Test-suite: do not test native compiler if disabled by configure.	Maxime Dénès	2017-06-01
*	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
\|\ \
\| * \|	coq_makefile: build .cma for each .mlpack	Enrico Tassi	2017-05-27
* \| \|	Use specific shell for more robustness.	Théo Zimmermann	2017-05-27
\|/ /
\| *	Changes to make coq-makefile not failing on MacOS X.	Hugo Herbelin	2017-05-26
\|/
*	test suite for coq_makefile2	Enrico Tassi	2017-05-23