coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #840: Quote $(OCAMLFIND) in CoqMakefile.in for Windows	Maxime Dénès	2017-07-05
\|\
* \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\ \
* \| \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\| \| *	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
\| \|/ \|/\|
\| *	Merge PR#731: Mini-cleaning around OCaml file names	Maxime Dénès	2017-06-27
\| \|\
\| \| *	A cleaning phase about ocaml file names.	Hugo Herbelin	2017-06-27
* \| \|	Merge PR#794: Cleanup of ltac cmxs	Maxime Dénès	2017-06-23
\|\ \ \
* \ \ \	Merge PR#742: Fix `make TIMED=1` garbage	Maxime Dénès	2017-06-20
\|\ \ \ \
* \| \| \| \|	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
\| * \| \| \|	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
\|/ / / /
\| * / /	coqdep: correct support of Local Declare ML Module	Pierre Letouzey	2017-06-15
\|/ / /
* \| \|	Merge PR#709: Bytecode compilation apart from 'make world', again	Maxime Dénès	2017-06-12
\|\ \ \
* \| \| \|	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
* \| \| \|	Merge PR#698: Trunk misc	Maxime Dénès	2017-06-07
\|\ \ \ \
* \| \| \| \|	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
* \| \| \| \|	Fix coq_makefile uninstall target under OSX.	Maxime Dénès	2017-06-01
\| \| \| * \|	Bump year in headers.	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
\| \| * \|	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2017-05-30
* \| \| \|	make sure that "ocamllibdep" properly recognizes Ocaml modules that are all u...	Matej Košík	2017-05-30
\| \|/ / \|/\| \|
* \| \|	Merge PR#356: Making management of installation directories more structured, ...	Maxime Dénès	2017-05-30
\|\ \ \
* \ \ \	Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3	Maxime Dénès	2017-05-30
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	Using the same strategy in coqdoc than in coqtop to guess the coqlib.	Hugo Herbelin	2017-05-29
\| \| * \|	Exporting the suffixes needed to build coqlib, docdir, etc.	Hugo Herbelin	2017-05-29
\| \| * \|	Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.	Hugo Herbelin	2017-05-29
* \| \| \|	Merge PR#512: [cleanup] Unify all calls to the error function.	Maxime Dénès	2017-05-29
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
* \| \| \|	Merge PR#683: coq_makefile: build .cma for each .mlpack	Maxime Dénès	2017-05-28
\|\ \ \ \
* \ \ \ \	Merge PR#658: [coqdoc] Add keywords in bug 2884.	Maxime Dénès	2017-05-28
\|\ \ \ \ \ \| \|_\|_\|/ / \|/\| \| \| \|
\| \| \| * \|	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
\| \|_\|/ / \|/\| \| \|
\| \| * \|	coq_makefile: build .cma for each .mlpack	Enrico Tassi	2017-05-27
\| \|/ / \|/\| \|
* \| \|	Merge PR#645: [stm] Tweak debug options.	Maxime Dénès	2017-05-25
\|\ \ \
* \ \ \	Merge PR#406: coq makefile2	Maxime Dénès	2017-05-25
\|\ \ \ \
\| * \| \| \|	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
\| * \| \| \|	coq_makefile: don't quote extra arguments (-arg)	Enrico Tassi	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
\| * \| \| \|	coqdep: remove optimization making makefiles harder to write	Enrico Tassi	2017-05-23
\| * \| \| \|	coqdep: set FOR_PACK variable for files that need to be packed	Enrico Tassi	2017-05-23
\| * \| \| \|	Document --print-version in Usage	Enrico Tassi	2017-05-23
\| * \| \| \|	Put the list of Coq sources subdirectories in one place	Enrico Tassi	2017-05-23