coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #7543: [ide] Move common protocol library to its own folder/object.	Pierre-Marie Pédrot	2018-05-26
\|\
* \|	Fix recipe for FAKEIDEBYTE	Gaëtan Gilbert	2018-05-24
\| *	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias	2018-05-24
\|/
*	Merge PR #7575: [build] Add -cclib -lcoqrun options to build of kernel.cmxa.	Enrico Tassi	2018-05-24
\|\
* \	Merge PR #7414: Add .byte targets for every bestocaml target	Enrico Tassi	2018-05-23
\|\ \
\| \| *	[build] Add -cclib -lcoqrun options to build of kernel.cmxa.	Emilio Jesus Gallego Arias	2018-05-22
\| \|/ \|/\|
* \|	[ide] Remove special option `-ideslave`	Emilio Jesus Gallego Arias	2018-05-21
* \|	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias	2018-05-21
* \|	Modify make system to include Makefile.common in the test suite	Gaëtan Gilbert	2018-05-16
\| *	Add .byte targets for every bestocaml target	Gaëtan Gilbert	2018-05-03
\|/
*	[build] Simpler byte/opt toplevel build.	Emilio Jesus Gallego Arias	2018-03-05
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...	Maxime Dénès	2018-02-19
\|\
\| *	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
* \|	[build] Fix VM dynamic linking prep in byte builds.	Emilio Jesus Gallego Arias	2018-02-14
\|/
*	Merge PR #6448: Cleanup and add debug printers a bit	Maxime Dénès	2018-01-18
\|\
* \	Merge PR #6518: Fix build of micromega & nsatz with OCaml 4.06	Maxime Dénès	2018-01-08
\|\ \
\| * \|	[Makefile] plugins micromega and nsatz depend on unix and num	Vincent Laporte	2017-12-28
* \| \|	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
\|/ /
* \|	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias	2017-12-23
\| *	Cleanup debug printers a bit, add generated mli.	Gaëtan Gilbert	2017-12-22
* \|	Merge PR #6234: Make the micromega extraction check a regular output test.	Maxime Dénès	2017-12-20
\|\ \
* \ \	Merge PR #6305: Build with windows line endings	Maxime Dénès	2017-12-18
\|\ \ \
* \ \ \	Merge PR #6217: Do dependencies in 1 command per file class.	Maxime Dénès	2017-12-18
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|
\| \| * \|	For bug 6249, Segmentation fault when building Coq on Windows 10.	Jim	2017-12-16
\| * \| \|	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
\|\ \ \
* \| \| \|	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias	2017-12-11
\| \|/ / \|/\| \|
\| * \|	[make] remove unneeded generated file "tolink.ml"	Emilio Jesus Gallego Arias	2017-12-10
\| * \|	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
\|/ /
\| *	Make the micromega extraction check a regular output test.	Gaëtan Gilbert	2017-11-28
\|/
*	Fix micromega.ml to match generated file and enforce match in make.	Gaëtan Gilbert	2017-11-16
*	Merge PR #1054: Restoring test on ident validity while browsing directory str...	Maxime Dénès	2017-10-11
\|\
\| *	Restoring test on ident validity while browsing directory structure.	Hugo Herbelin	2017-10-10
* \|	[configure] Support for flambda flags.	Emilio Jesus Gallego Arias	2017-10-10
\|/
*	Fix hardcoded boot dependencies after #1041.	Gaëtan Gilbert	2017-10-07
*	Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...	Maxime Dénès	2017-10-05
\|\
* \|	coq_makefile: make sure compile flags for Coq and coq_makefile are in sync	Emilio Jesus Gallego Arias	2017-09-19
\| *	Supporting library names in utf8 in coqdep.	Hugo Herbelin	2017-09-13
\|/
*	Merge PR #958: coq_makefile: build/use .cma for packed plugins too	Maxime Dénès	2017-08-31
\|\
* \	Merge PR #773: [flags] Remove XML output flag.	Maxime Dénès	2017-08-29
\|\ \
\| \| *	test-suite: depend on byte compilation too	Enrico Tassi	2017-08-29
\| \|/ \|/\|
* \|	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 #852: Makefile: fails if some .vo or .cm* file has no source	Maxime Dénès	2017-07-28
\|\ \
\| \| *	[make] remove compat5 file.	Emilio Jesus Gallego Arias	2017-07-27
\| \|/ \|/\|
* \|	make sure that API-leaks cannot be reintroduced by mistake	Matej Košík	2017-07-26
* \|	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