coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[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
\| * \|	Add timing scripts	Jason Gross	2017-07-11
\| * \|	Fix TIMED=1 on Mac OSX	Jason Gross	2017-07-08
\|/ /
\| *	Makefile: fails if some .vo or .cm* file has no source	Pierre Letouzey	2017-07-05
* \|	Better support for make TIMED=1 on Windows	Jason Gross	2017-06-30
\|/
*	Makefile.build : restore (temporarily?) the anti-cmi-corruption hacks	Pierre Letouzey	2017-06-15
*	Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...	Pierre Letouzey	2017-06-14
*	Merge PR#498: Bignums as a separate opam package	Maxime Dénès	2017-06-14
\|\
* \|	Makefile.build: do not build PLUGINSCMO by default (followup of PR #709)	Pierre Letouzey	2017-06-13
\| *	BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)	Pierre Letouzey	2017-06-13
\|/
*	Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...	Matej Košík	2017-06-12