coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6305: Build with windows line endings	Maxime Dénès	2017-12-18
\|\
* \	Merge PR #6217: Do dependencies in 1 command per file class.	Maxime Dénès	2017-12-18
\|\ \
\| \| *	For bug 6249, Segmentation fault when building Coq on Windows 10.	Jim	2017-12-16
\| * \|	Do dependencies in 1 command per file class.	Gaëtan Gilbert	2017-12-15
\| \|/
* /	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
\|/
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2017-05-30
*	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès	2016-07-05
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2016-06-29
*	Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}	Pierre Letouzey	2016-06-08