coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-16	Explicitly annotate all hint declarations of the standard library.	Pierre-Marie Pédrot
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
2018-11-14	Deprecate hint declaration/removal with no specified database	Maxime Dénès
2018-09-10	Adapting standard library to the introduction of "Declare Scope".	Hugo Herbelin
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-15	Correct restriction of vm_compute when handling universe polymorphic	Matthieu Sozeau
2015-01-12	Update headers.	Maxime Dénès
2014-05-06	- Fix bug preventing apply from unfolding Fixpoints.	Matthieu Sozeau
2014-05-06	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau
2012-08-08	Updating headers.	herbelin
2012-07-05	Open Local Scope ---> Local Open Scope, same with Notation and alii	letouzey
2011-11-21	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-28	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey
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-09-13	Remove redefinition of id in Program.Basics, just add maximal implicits.	msozeau
2008-06-03	Fix setoid_rewrite documentation examples.	msozeau
2008-04-20	Work on the "occurrences" tactic argument. It is now possible to pass	msozeau
2008-04-01	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin
2008-03-20	Add a flag to control rewriting under lambdas. Otherwise makes some	msozeau
2008-03-16	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau
2008-03-06	Syntax changes in typeclasses, remove "?" for usual implicit arguments	msozeau
2008-02-26	Proper implicit arguments handling for assumptions	msozeau
2008-02-13	Debugging of the class_setoid tactic and eauto. Prepare for move from	msozeau
2008-02-06	New algorithm to resolve morphisms, after discussion with Nicolas	msozeau
2008-02-03	Add new files theories/Program/Basics.v and theories/Classes/Relations.v	msozeau