coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-01-23	Pass some files to strict focusing mode.	Gaëtan Gilbert
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-07-08	Program: Move ProofIrrelevance to Subset.v	Matthieu Sozeau
2016-01-20	Update copyright headers.	Maxime Dénès
2015-12-07	Fix some typos.	Guillaume Melquiond
2015-01-12	Update headers.	Maxime Dénès
2014-06-04	Make standard library independent of the names generated by	Hugo Herbelin
2012-10-01	Ltac repeat is in fact already doing progress	letouzey
2012-08-08	Updating headers.	herbelin
2012-07-05	Open Local Scope ---> Local Open Scope, same with Notation and alii	letouzey
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2012-03-14	Final part of moving Program code inside the main code. Adapted add_definitio...	msozeau
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-10-28	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-12-16	Move FunctionalExtensionality to Logic/ (someone please check that the	msozeau
2008-05-15	Various fixes:	msozeau
2008-05-11	- Cleanup parsing of binders, reducing to a single production for all	msozeau
2008-04-05	Minor fixes:	msozeau
2008-03-16	Removed unneeded tactics from RelationClasses. Use	msozeau
2008-01-31	Debug implementation of dependent induction/dependent destruction and documen...	msozeau
2007-12-31	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau