coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Unset Asymmetric Patterns	pboutill	2013-01-18
*	Fix the test-suite by removing any Reset in the scripts	letouzey	2012-03-23
*	Fixed a bug in postprocessing dependencies in pattern-matching compilation	herbelin	2011-11-26
*	Fixing postprocessing bugs in pattern-matching compilation.	herbelin	2011-11-21
*	Fixing new bug introduced in r14665 when fixing bug #1834.	herbelin	2011-11-17
*	Fixing bug #2454: inversion predicate strategy for inferring the type	herbelin	2010-12-19
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Fixing bug #2106 ("match" compilation with multi-dependent constructor).	herbelin	2009-06-06
*	Mise en place d'un algorithme d'inversion des contraintes de type lors	herbelin	2008-05-05
*	Minor fixes. Use expanded type in class_tactics for Morphism search, to	msozeau	2008-04-02
*	Ajout d'un exemple d'inversion des dépendances dans le prédicat comme	herbelin	2007-08-10
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21
*	Ajout exemple Bruno	herbelin	2004-04-14
*	Logic_TypeSyntax disparu	herbelin	2003-10-11
*	indentation	herbelin	2003-03-29
*	MAJ sur MAJ	herbelin	2002-12-02
*	Remplacement de Syntactic Definition par Notation	herbelin	2002-12-02
*	Remplacement de Syntactic Definition par Notation	herbelin	2002-11-24
*	Ajout d'un test sur les anonymes dépendant dans des arguments implicites	herbelin	2002-01-16
*	Test le filtrage dépendant vers l'avant	herbelin	2002-01-15
*	MAJ Grammar	herbelin	2001-12-19
*	Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)	herbelin	2001-10-03
*	Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...	herbelin	2001-09-19
*	Mise a la norme lexicale	mohring	2001-04-20
*	Decomposition de Cases	mohring	2001-04-20