coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add a new vernacular command for controling implicit generalization of	msozeau	2009-10-27
*	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey	2009-09-28
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Rename [Morphism] into [Proper] and [respect] into [proper] to comply	msozeau	2009-04-21
*	Generalized binding syntax overhaul: only two new binders: `() and `{},	msozeau	2008-12-14
*	More factorization of inductive/record and typeclasses: move class	msozeau	2008-11-09
*	- Improve [Context] vernacular to allow arbitrary binders, not just	msozeau	2008-07-07
*	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin	2008-04-01
*	Fix a bug found by B. Grégoire when declaring morphisms in module	msozeau	2008-03-23
*	Compatibility fixes, backtrack on definitions of reflexive,	msozeau	2008-03-22
*	Do another pass on the typeclasses code. Correct globalization of class	msozeau	2008-03-19
*	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau	2008-03-16
*	Syntax changes in typeclasses, remove "?" for usual implicit arguments	msozeau	2008-03-06
*	Proper implicit arguments handling for assumptions	msozeau	2008-02-26