coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-30	Remove the :> type cast	Jim Fehrle
2020-11-22	Adapting standard library, doc and test suite to ident->name renaming.	Hugo Herbelin
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-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-02-23	Fix some typos in comments.	Guillaume Melquiond
2015-01-12	Update headers.	Maxime Dénès
2012-08-08	Updating headers.	herbelin
2011-06-14	Making printing of backtick in Program reparsable (avoiding collision with "`(")	herbelin
2010-12-10	First release of Vector library.	pboutill
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2008-12-16	Move FunctionalExtensionality to Logic/ (someone please check that the	msozeau
2008-07-17	Uniformisation du format des messages d'erreur (commencent par une	herbelin
2008-07-15	Autour du parsing:	herbelin
2008-05-11	- Cleanup parsing of binders, reducing to a single production for all	msozeau
2008-04-05	Minor fixes:	msozeau
2008-03-08	Fix bugs that were reopened due to the change of setoid	msozeau
2008-01-02	Implicit arguments in class field declarations	msozeau
2008-01-02	Better resolution of implicit parameters in typeclass binders, add extensiona...	msozeau
2007-12-31	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau
2007-10-24	Addition of more general tactics for equality. Functional extensionality and ...	msozeau
2007-08-07	Move Program tactics into a proper theories/ directory as they are general pu...	msozeau