coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
*	Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...	Maxime Dénès	2017-12-27
\|\
\| *	Registering a printing handler in coq_makefile.	Hugo Herbelin	2017-12-23
\| *	Forbidding -o and -f in input file of coq_makefile.	Hugo Herbelin	2017-12-23
\| *	Removing failure of coq_makefile on no arguments.	Hugo Herbelin	2017-12-23
* \|	Merge PR #6217: Do dependencies in 1 command per file class.	Maxime Dénès	2017-12-18
\|\ \
\| * \|	Do dependencies in 1 command per file class.	Gaëtan Gilbert	2017-12-15
* \| \|	Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.	Maxime Dénès	2017-12-14
\|\ \ \
* \ \ \	Merge PR #6388: Fix issue #6387	Maxime Dénès	2017-12-14
\|\ \ \ \
* \ \ \ \	Merge PR #1108: [stm] Reorganize flags	Maxime Dénès	2017-12-13
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...	Maxime Dénès	2017-12-13
\|\ \ \ \ \ \
\| \| \| * \| \| \|	Fix issue #6387	Martin Vassor	2017-12-11
\| \|_\|/ / / / \|/\| \| \| \| \|
\| * \| \| \| \|	Restoring filtering of native files passed to `rm` during `make clean`.	Maxime Dénès	2017-12-11
\| \| \|_\|_\|/ \| \|/\| \| \|
\| \| * \| \|	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias	2017-12-11
\| \|/ / / \|/\| \| \|
\| \| * \|	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
\| \|/ / \|/\| \|
* \| \|	Merge PR #6142: Single quotes break on Windows	Maxime Dénès	2017-12-07
\|\ \ \
* \| \| \|	coq_makefile: pass filenames to coqchk	Ralf Jung	2017-11-29
\| \|_\|/ \|/\| \|
* \| \|	Merge PR #6236: Fix coq-makefile ocamldoc call when configured with -annotate.	Maxime Dénès	2017-11-27
\|\ \ \
\| * \| \|	Fix coq-makefile ocamldoc call when configured with -annotate.	Gaëtan Gilbert	2017-11-24
* \| \| \|	Update TimeFileMaker.py to correctly sort timing diffs	Jason Gross	2017-11-22
\|/ / /
* \| /	Rename coq-inferior.el -> inferior-coq.el to match provided feature.	Gaëtan Gilbert	2017-11-19
\| \|/ \|/\|
\| *	Single quotes break on Windows	Carl Patenaude Poulin	2017-11-11
\|/
*	Fix FIXME: use OCaml 4.02 generative functors when available.	Gaëtan Gilbert	2017-11-01
*	Merge PR #1144: Fix 5776 - `make` gives `ocamlfind: No such file or directory...	Maxime Dénès	2017-10-12
\|\
\| *	Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu...	Maxime Dénès	2017-10-11
* \|	Merge PR #1143: fix coq_makefile on cygwin	Maxime Dénès	2017-10-11
\|\ \
\| * \|	Fix BZ#5780: coq_makefile broken under Cygwin	Ralf Jung	2017-10-10
\| \|/
* /	[configure] Support for flambda flags.	Emilio Jesus Gallego Arias	2017-10-10
\|/
*	TimeFileMaker.py: Allow trailing spaces	Jason Gross	2017-10-06
*	Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...	Maxime Dénès	2017-10-05
\|\
* \	Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...	Maxime Dénès	2017-10-05
\|\ \
\| * \|	fix compilation on OCaml < 4.04	Enrico Tassi	2017-10-03
* \| \|	Merge PR #1099: BZ#5637, look for Obligation num or Next Obligation to start ...	Maxime Dénès	2017-10-03
\|\ \ \
* \ \ \	Merge PR #1076: Properly handle "coq_makefile -Q . Foo" (bug #5580).	Maxime Dénès	2017-10-03
\|\ \ \ \
\| \| * \| \|	look for Obligation num or Next Obligation to start proof	Paul Steckler	2017-09-26
\| \|/ / / \|/\| \| \|
* \| \| \|	Merge PR #1055: Remove STM vernaculars	Maxime Dénès	2017-09-22
\|\ \ \ \
* \ \ \ \	Merge PR #1070: Remove remaining occurrences of -just-parsing.	Maxime Dénès	2017-09-22
\|\ \ \ \ \
\| \| \| * \| \|	Properly handle "coq_makefile -Q . Foo" (bug #5580).	Guillaume Melquiond	2017-09-21
\| * \| \| \| \|	Remove remaining occurrences of -just-parsing.	Guillaume Melquiond	2017-09-21
\| \| \|/ / / \| \|/\| \| \|
* / \| \| \|	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
\| * \| \|	Add XML protocol support for Wait.	Maxime Dénès	2017-09-19
\|/ / /
* \| \|	Merge PR #990: Prevent warning about DSTROOT being undefined.	Maxime Dénès	2017-09-15
\|\ \ \ \| \|/ / \|/\| \|
\| \| *	Supporting library names in utf8 in coqdep.	Hugo Herbelin	2017-09-13
\| \|/ \|/\|
* \|	Merge PR #997: coqdoc: Support comments in verbatim output	Maxime Dénès	2017-09-07
\|\ \
* \ \	Merge PR #958: coq_makefile: build/use .cma for packed plugins too	Maxime Dénès	2017-08-31
\|\ \ \
\| * \| \|	coq_makefile: fix .merlin generation (FLG -thread)	Enrico Tassi	2017-08-29
\| * \| \|	coq_makefile: improve documentation	Enrico Tassi	2017-08-29
\| * \| \|	coq_makefile: print error message when coqlib is not set properly	Enrico Tassi	2017-08-29
\| * \| \|	coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxs	Enrico Tassi	2017-08-29