coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias
2019-12-29	Merge PR #10977: Remove the incorrect extra space in Makefile.vofiles	Enrico Tassi
2019-12-13	Split up stdlib install command (too long)	Gaëtan Gilbert
2019-11-01	[make] install .vos along with .vo	Enrico Tassi
2019-10-27	Remove the incorrect extra space in Makefile.vofiles	scinart
2019-05-07	Fix PLUGINSVO computation after ltac2 integration	Gaëtan Gilbert
2019-05-07	Integrate build and documentation of Ltac2	Maxime Dénès
2019-02-06	Makefiles: Fixes for byte compilation	Gaëtan Gilbert
2019-01-10	[make] support for QUICK	Enrico Tassi
2018-05-30	Makefile: fix undefined NATIVEFILES when -native-compute no	Gaëtan Gilbert
2018-05-23	Don't try to install native compiled files if native-compile is not set	Jim Fehrle
2018-05-16	Modify make system to include Makefile.common in the test suite	Gaëtan Gilbert