coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	[make] remove compat5 file.	Emilio Jesus Gallego Arias	2017-07-27
*	coq-makefile: strip windows drive letter when DESTDIR is not empty	Enrico Tassi	2017-07-20
*	coq-makefile: treat coq_makefile as any other coq binary	Enrico Tassi	2017-07-20
*	Add timing scripts	Jason Gross	2017-07-11
*	Fix TIMED=1 on Mac OSX	Jason Gross	2017-07-08
*	Merge PR #844: Better support for make TIMED=1 on Windows	Maxime Dénès	2017-07-07
\|\
* \|	Fix more potential quoting issues: COQBIN , COQLIB	Jason Gross	2017-06-30
* \|	Also quote $(COQLIB)/grammar	Jason Gross	2017-06-30
* \|	Create a variable for CAMLDOC in CoqMakefile.in	Jason Gross	2017-06-30
* \|	Quote $(OCAMLFIND) in CoqMakefile.in for Windows	Jason Gross	2017-06-30
\| *	Better support for make TIMED=1 on Windows	Jason Gross	2017-06-30
\|/
*	Move TIMER to right in front of COQC	Jason Gross	2017-06-15
*	Fix `make TIMED=1` garbage	Jason Gross	2017-06-15
*	Strip trailing whitespace	Jason Gross	2017-06-15
*	Merge PR#709: Bytecode compilation apart from 'make world', again	Maxime Dénès	2017-06-12
\|\
* \	Merge PR#698: Trunk misc	Maxime Dénès	2017-06-07
\|\ \
* \| \|	Fix coq_makefile uninstall target under OSX.	Maxime Dénès	2017-06-01
\| * \|	removing duplicate line from "tools/CoqMakefile.in"	Matej Košík	2017-05-31
\|/ /
\| *	coq_makefile : do not build bytecode versions of plugins by default	Pierre Letouzey	2017-05-30
\|/
*	coq_makefile: build .cma for each .mlpack	Enrico Tassi	2017-05-27
*	coq_makefile: use -include rather than include	Enrico Tassi	2017-05-24
*	add the only target	Enrico Tassi	2017-05-23
*	coq_makefile: avoid spurious ./ in generated .conf file	Enrico Tassi	2017-05-23
*	Restore 8.5, 8.6 compatibility of STDTIME, TIMECMD	Jason Gross	2017-05-23
*	Make install a single colon target for retro compatibility	Enrico Tassi	2017-05-23
*	enters coq_makefile2	Enrico Tassi	2017-05-23