coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	added test for coercion from type	charguer	2018-03-09
*	allow Prop as source for coercions	charguer	2018-03-09
*	Ensuring all .v files end with a newline to make "sed -i" work better on them.	Hugo Herbelin	2017-08-21
*	Unset Asymmetric Patterns	pboutill	2013-01-18
*	Relax uniform inheritance condition	gareuselesinge	2012-04-05
*	Fixing a bug of commit r13310 (activating coercions only when module	herbelin	2011-12-07
*	Automatic introduction of names given before ":" in Lemma's and	herbelin	2010-06-09
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Propagating commit 11343 from branch v8.2 to trunk (wish 1934 about	herbelin	2008-09-02
*	Le calcul de la classe dans class_args_of ne suivait pas celui de class_of	herbelin	2006-10-21
*	Correction d'un vieux bug de coercion avec éta-expansion (utilisation	herbelin	2006-10-21
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21
*	Ajout tests	herbelin	2004-06-02
*	* empty log message *	herbelin	2001-11-20