coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Improve shell scripts	zapashcanon	2018-04-05
\|
*	more verbose logs for coq-makefile	Enrico Tassi	2017-07-20
\|
*	coq-makefile: make test suite detect more errors	Enrico Tassi	2017-07-20
\| \| \| \|	Replacing ; with && and enabling bash's pipefail option
*	test-suite/coq-makefile: we do not build byte file by default anymore	Pierre Letouzey	2017-06-01
\|
*	Merge PR#689: Changes to make coq-makefile not failing on MacOS X.	Maxime Dénès	2017-05-28
\|\
* \|	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
\|/ \| \| \|	There is still however a failure with "rmdir --ignore-fail-on-non-empty".
*	test suite for coq_makefile2	Enrico Tassi	2017-05-23