coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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
* \| \| \|	Merge PR #773: [flags] Remove XML output flag.	Maxime Dénès	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
\| \|/ / / \|/\| \| \|
\| \| * \|	coqdoc: Support comments in verbatim output	Tej Chajed	2017-08-29
\| \| \| *	Prevent warning about DSTROOT being undefined.	Guillaume Melquiond	2017-08-22
\| \| \|/
* \| /	Fix coqdoc URLs under Windows.	Théo Zimmermann	2017-08-21
\| \|/ \|/\|
* \|	Merge PR #964: More portable location for the time command.	Maxime Dénès	2017-08-16
\|\ \
* \ \	Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...	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
\| \|/ / \|/\| \|
\| \| *	[flags] Remove XML output flag.	Emilio Jesus Gallego Arias	2017-08-01
\| \|/ \|/\|
* \|	Merge PR #921: [make] remove compat5 file.	Maxime Dénès	2017-08-01
\|\ \
* \ \	Merge PR #917: Moving --print-version to -print-version for consistency.	Maxime Dénès	2017-08-01
\|\ \ \
* \| \| \|	[toplevel] Remove long ago deprecated and NOOP options.	Emilio Jesus Gallego Arias	2017-07-27
\| \| * \|	[make] remove compat5 file.	Emilio Jesus Gallego Arias	2017-07-27
\| \|/ / \|/\| \|
\| * \|	Adding -print-version in addition to -print-version for consistency.	Hugo Herbelin	2017-07-25
\|/ /
* \|	fake_ide: do as coqide to find out coqtop path	Enrico Tassi	2017-07-20