coq - The formal proof system

Age	Commit message (Expand)	Author
2020-05-22	[coqchk] Fix #5030	Pierre Roux
2020-05-22	[coqchk] Change list to set	Pierre Roux
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-09	Remove the Template Check option.	Pierre-Marie Pédrot
2020-01-27	Checker: use inductive's check_template flag	Gaëtan Gilbert
2019-08-16	Fix typing_flags in the checker	SimonBoulier
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-11-06	Bring back context printing in checker	Maxime Dénès
2018-11-06	Checker now disables VM and native	Maxime Dénès
2018-11-06	[checker] Refactor by sharing code with the kernel	Maxime Dénès
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-08-18	[checker] Fix/fine tune printing.	Emilio Jesus Gallego Arias
2016-06-18	Fixing the checker.	Pierre-Marie Pédrot
2016-06-14	Preventive compatibility fixes for flushing.	Emilio Jesus Gallego Arias
2016-05-31	Feedback cleanup	Emilio Jesus Gallego Arias
2016-04-28	Fix missing newline in coqchk engagement (bug #4694).	Guillaume Melquiond
2016-01-20	Update copyright headers.	Maxime Dénès
2015-07-10	Option -type-in-type: added support in checker and making it contaminating	Hugo Herbelin
2015-01-12	Update headers.	Maxime Dénès
2013-04-15	Checker: regroup all vo-related types in cic.mli	letouzey
2012-10-06	still some more dead code removal	letouzey
2012-09-18	Cleaning interface of Util.	ppedrot
2012-08-08	Updating headers.	herbelin
2012-06-01	Getting rid of Pp.msgnl and Pp.message.	ppedrot
2012-03-02	Noise for nothing	pboutill
2011-04-03	Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacks	letouzey
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2009-10-21	This big commit addresses two problems:	soubiran
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-03-02	porting r11900 11905 and 11953 to trunk	barras
2008-04-21	added the .vo checker (with independent Makefile)	barras