coq - The formal proof system

Age	Commit message (Expand)	Author
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
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-10-07	Remove the "exists" overrides from Program. (Fix bug #4360)	Guillaume Melquiond
2015-01-12	Update headers.	Maxime Dénès
2012-08-08	Updating headers.	herbelin
2011-11-21	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge
2011-04-08	A module out of Program to have list notations (bug 2463)	pboutill
2010-10-23	Used multiple lists of implicit arguments to transfer the choices of	herbelin
2010-10-03	Using multiple lists of implicit arguments in Program for preserving	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-22	Made notations for exists, exists! and notations of Utf8.v recursive notations	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-02-17	Kill some useless dependencies (Bvector, Program.Syntax)	letouzey
2009-10-28	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau
2009-09-28	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey
2009-09-11	- Resolve type class constraints before trying to find unresolved	msozeau
2009-01-21	- Better deal with commands inside section titles in latex output using	msozeau
2008-12-16	Move FunctionalExtensionality to Logic/ (someone please check that the	msozeau
2008-05-11	- Cleanup parsing of binders, reducing to a single production for all	msozeau
2008-04-08	- A little cleanup in Classes/*. Separate standard morphisms on	msozeau
2008-04-02	Minor fixes. Use expanded type in class_tactics for Morphism search, to	msozeau
2008-03-16	Misc: Add test for bug 1704, now closed. Add usual syntax for lists in	msozeau
2008-03-16	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau