coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Parameters in pattern first step.	pboutill	2012-01-16
*	Fix test-suite for s/Defining '\1' as keyword/Identifier '\1' now a keyword/.	letouzey	2011-09-22
*	Partly revert commit r14389 about relaxing the condition for being a keyword	herbelin	2011-08-10
*	Be a bit less aggressive in declaring idents as keywords in notations	herbelin	2011-08-08
*	Make Notation works with anonymous-level "Type".	herbelin	2011-06-08
*	Extension of the recursive notations mechanism	herbelin	2010-07-22
*	Backported r13068 to branch v8.3 (whd_betaiota on inferred return	herbelin	2010-06-04
*	Improving abbreviations/notations + backtrack of semantic change in r12439	herbelin	2009-11-11
*	Miscellaneous fixes and improvements:	herbelin	2008-12-02
*	- Ajout possibilité de lancer ocamldebug sur coqide	herbelin	2008-11-07
*	Affichage des notations récursives:	herbelin	2008-10-22
*	Prise en compte réversibilité des notations de la forme "Notation Nil := @n...	herbelin	2007-05-10
*	Exemple avec liaison des variables de filtrage du match	herbelin	2006-10-09
*	Notations:	herbelin	2006-10-09
*	Correction bug #1179 (result of Notation.decompose_notation_key in wrong order	herbelin	2006-09-23
*	- Correction filtrage des notations impliquant un "match" : la présence	herbelin	2006-09-23
*	Ajout test notation récursive	herbelin	2006-01-11
*	Test choix conflit afficheur de nombres selon la présence ou pas d'une coercion	herbelin	2006-01-05
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-22
*	Ajout suffixe 8 pour test en nouvelle syntaxe	herbelin	2004-12-09
*	Test lieurs dans Notation	herbelin	2004-11-17