coq - the Coq proof assistant

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