coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Merge PR #6466: Replace md5sum/md5 calls by an OCaml program	Maxime Dénès	2018-01-16
\|\
\| *	Avoid shell backticks and improve md5sum.ml error messages	Jacques-Pascal Deplaix	2018-01-15
* \|	Add interfaces for checker and remove dead code.	Maxime Dénès	2018-01-10
\| *	Check the whole string given by md5sum.ml	Jacques-Pascal Deplaix	2017-12-24
\| *	Replace md5sum/md5 calls by an OCaml program	Jacques-Pascal Deplaix	2017-12-23
* \|	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias	2017-12-23
\|/
*	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