coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #7633: [Makefile] New target “install-merlin”	Enrico Tassi	2018-05-31
\|\
\| *	[Makefile] New target “install-merlin”	Vincent Laporte	2018-05-29
* \|	Don't try to install native compiled files if native-compile is not set	Jim Fehrle	2018-05-23
\|/
*	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias	2018-05-21
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	[make] More build fixes for static plugins and ocamlfind.	Emilio Jesus Gallego Arias	2017-12-16
*	Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.	Maxime Dénès	2017-12-14
\|\
\| *	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
* \|	[makefile] Address #6291: install more development files.	Emilio Jesus Gallego Arias	2017-12-08
\|/
*	Rename coq-inferior.el -> inferior-coq.el to match provided feature.	Gaëtan Gilbert	2017-11-19
*	Fix BZ#5785 (make install -j broken)	Jason Gross	2017-10-13
*	Remove unneeded fix for BZ#1715	Gaëtan Gilbert	2017-09-11
*	Makefile: install-byte works even if -coqide no	Enrico Tassi	2017-08-04
*	Add timing scripts	Jason Gross	2017-07-11
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2017-05-30
*	enters coq_makefile2	Enrico Tassi	2017-05-23
*	[META] [build] Install dlls to kernel/byterun	Emilio Jesus Gallego Arias	2017-03-10
*	[build] Add a target to install the META file.	Emilio Jesus Gallego Arias	2016-10-28
*	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.install: fix a typo in last commit c954bb5, sorry	Pierre Letouzey	2016-06-24
*	Makefile.install: fix the install of plugin cmi	Pierre Letouzey	2016-06-24
*	Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}	Pierre Letouzey	2016-06-08