coq - The formal proof system

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