coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	coq_makefile: pass filenames to coqchk	Ralf Jung	2017-11-29
*	Fix coq-makefile ocamldoc call when configured with -annotate.	Gaëtan Gilbert	2017-11-24
*	Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu...	Maxime Dénès	2017-10-11
*	Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...	Maxime Dénès	2017-10-05
\|\
* \|	coq_makefile: dont show errors from failed (ignored) rmdir	Ralf Jung	2017-09-20
\| *	coq_makefile: make sure compile flags for Coq and coq_makefile are in sync	Emilio Jesus Gallego Arias	2017-09-19
* \|	Merge PR #990: Prevent warning about DSTROOT being undefined.	Maxime Dénès	2017-09-15
\|\ \ \| \|/ \|/\|
* \|	coq_makefile: fix .merlin generation (FLG -thread)	Enrico Tassi	2017-08-29
* \|	coq_makefile: improve documentation	Enrico Tassi	2017-08-29
* \|	coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxs	Enrico Tassi	2017-08-29
* \|	coq_makefile: do not overwrite CAMLFLAGS	Enrico Tassi	2017-08-29
* \|	coq_makefile: use dedicated variable for extra packages	Enrico Tassi	2017-08-29
* \|	coq_makefile: build/use .cma for packed plugins	Enrico Tassi	2017-08-29
\| *	Prevent warning about DSTROOT being undefined.	Guillaume Melquiond	2017-08-22
\|/
*	Merge PR #964: More portable location for the time command.	Maxime Dénès	2017-08-16
\|\
* \|	fix coq_makefile	Matej Košík	2017-08-12
\| *	More portable location for the time command.	Théo Zimmermann	2017-08-12
\|/
*	[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