coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Reverting generalization and cleaning of the return clause inference in v8.6.	Hugo Herbelin	2016-10-11
*	Posssible abstractions over goal variables when inferring match return clause.	Hugo Herbelin	2016-09-26
*	Trying an abstracting dependencies heuristic for the match return clause even...	Hugo Herbelin	2016-09-26
*	Trying a no-inversion no-dependency heuristic for match return clause.	Hugo Herbelin	2016-09-26
*	Fixing an anomaly in printing a unification error message.	Hugo Herbelin	2016-08-20
*	Correction d'un bug de coercion de pattern introduit dans la 8.1beta	herbelin	2006-09-23
*	Prise en compte coercions autour des sous-termes filtrés (si non dépendants)	herbelin	2006-01-30
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21
*	Un peu plus d'inférence des ? traitée par le Cases	herbelin	2001-12-19
*	Test des coercions dans les motifs	herbelin	2001-12-11