coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #8054: [dev] Autogenerate OCaml dev files.	Enrico Tassi	2018-07-18
\|\
* \|	Make -warn-error fail on warnings emitted by coqc on stdlib.	Maxime Dénès	2018-07-13
\| *	[dev] Autogenerate OCaml dev files.	Emilio Jesus Gallego Arias	2018-07-12
\|/
*	[coqpp] Move to its own directory.	Emilio Jesus Gallego Arias	2018-07-11
*	Compile coqpp inside the bin/ folder and make it available after installation.	Pierre-Marie Pédrot	2018-07-10
*	Merge PR #7921: Archive the `gallina` tool	Maxime Dénès	2018-07-07
\|\
* \	Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...	Enrico Tassi	2018-07-07
\|\ \
* \ \	Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...	Emilio Jesus Gallego Arias	2018-07-02
\|\ \ \
\| \| * \|	Suppress useless "true bin/*.opt.exe" messages from no-op STRIP and CODESIGN ...	Jim Fehrle	2018-06-30
\| \| * \|	Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).	Jim Fehrle	2018-06-30
\| \|/ / \|/\| \|
\| * \|	Use a homebrew parser to replace the GEXTEND extension points of Camlp5.	Pierre-Marie Pédrot	2018-06-29
* \| \|	[build] Remove target binary before copy.	Emilio Jesus Gallego Arias	2018-06-29
\|/ /
\| *	Archive the `gallina` tool	Vincent Laporte	2018-06-25
\|/
*	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
\|\