coq - The formal proof system

Age	Commit message (Expand)	Author
2019-06-17	Update py-style headers to new year.	Théo Zimmermann
2018-11-08	Remove checker printers	Gaëtan Gilbert
2018-11-06	[checker] Refactor by sharing code with the kernel	Maxime Dénès
2018-10-29	Rename checker/{main->coqchk}	Gaëtan Gilbert
2018-10-23	[build] Refactoring to config lib and ocamldebug tweaks.	Emilio Jesus Gallego Arias
2018-06-30	Suppress useless "true bin/*.opt.exe" messages from no-op STRIP and CODESIGN ...	Jim Fehrle
2018-05-13	Infrastructure for ocamldebug on the checker	Gaëtan Gilbert
2018-05-10	[build] Build checker generated files using a make rule.	Emilio Jesus Gallego Arias
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-01-16	Merge PR #6466: Replace md5sum/md5 calls by an OCaml program	Maxime Dénès
2018-01-15	Avoid shell backticks and improve md5sum.ml error messages	Jacques-Pascal Deplaix
2018-01-10	Add interfaces for checker and remove dead code.	Maxime Dénès
2017-12-24	Check the whole string given by md5sum.ml	Jacques-Pascal Deplaix
2017-12-23	Replace md5sum/md5 calls by an OCaml program	Jacques-Pascal Deplaix
2017-12-23	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias
2017-12-18	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-16	For bug 6249, Segmentation fault when building Coq on Windows 10.	Jim
2017-12-15	Do dependencies in 1 command per file class.	Gaëtan Gilbert
2017-12-10	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias
2017-05-30	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey
2016-07-05	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès
2016-06-29	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey
2016-06-08	Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}	Pierre Letouzey