coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Reactivation of pattern unification of evars in apply unification, in	herbelin	2009-07-08
*	About "apply in":	herbelin	2008-12-09
*	Backtrack sur commit 11467 (tentative d'optimisation meta_instance qui	herbelin	2008-10-26
*	Retour en arrière pour raison de compatibilité sur la suppression du nf_evar	herbelin	2008-10-19
*	- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)	herbelin	2008-10-18
*	Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk	herbelin	2008-06-18
*	Petites corrections vis à vis des commits 10860, 10859, 10850	herbelin	2008-04-28
*	Quelques bricoles autour de l'unification:	herbelin	2008-04-27
*	Prise en compte des coercions dans les clauses "with" même si le type	herbelin	2008-04-23
*	Chgts mineurs:	herbelin	2008-04-03
*	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin	2008-04-01
*	Contrôle de la compatibilité de apply via une information dans les	herbelin	2007-05-28
*	Unification suite: petits affinements pour préserver la compatibilité	herbelin	2007-05-24
*	Nouvelle stratégie d'unification des types des with-bindings dans	herbelin	2007-05-22
*	Alignement de la politique de renommage de rename_bound_var (utilisé pour	herbelin	2006-12-13
*	Correction typo	herbelin	2006-11-13
*	Ajout de dépliage de l'énoncé, si besoin est, dans apply in	herbelin	2006-11-10
*	Test apply in	herbelin	2006-10-24