coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| * \| \|	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
* \|	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
* \|	coq-makefile: quote using ' to preserve \ (windows paths)	Enrico Tassi	2017-07-20
* \|	In fake_ide, call coqtop.exe instead of coqtop on Win32.	Maxime Dénès	2017-07-20
* \|	Avoid using unsupported signals under Windows in fake_ide.	Maxime Dénès	2017-07-20
* \|	Merge branch 'v8.7'	Maxime Dénès	2017-07-20
\|\ \
* \| \|	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
\| \| *	Fixing #5648 (too early decision of tagging ident as keyword in html coqdoc).	Hugo Herbelin	2017-07-15
\| \|/ \|/\|
\| *	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
\|\
* \	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
\| \|/ / \|/\| \|
\| \| *	Better support for make TIMED=1 on 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
\|\ \ \