coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix issues in test-suite revealed by warnings.	Maxime Dénès	2016-06-29
*	Adapting the output test Notations:	Hugo Herbelin	2014-10-02
*	Using Parameter instead of Variable in test-suite/output	herbelin	2013-04-17
*	Fixing parsing of specific primitive tokens used as notations for patterns	herbelin	2012-12-18
*	Fixing bug #2835 (the rationale for printing notations was not	herbelin	2012-07-21
*	Constrextern is allow to use partially applied notations	pboutill	2012-06-14
*	Parameters in pattern first step.	pboutill	2012-01-16
*	Make Notation works with anonymous-level "Type".	herbelin	2011-06-08
*	Extension of the recursive notations mechanism	herbelin	2010-07-22
*	Improving abbreviations/notations + backtrack of semantic change in r12439	herbelin	2009-11-11
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Correction erreur dans test output Notation.v	herbelin	2008-11-09
*	- 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-21
*	Ajout suffixe 8 pour test en nouvelle syntaxe	herbelin	2004-12-09
*	test-suite/output/Notations.out	herbelin	2004-11-17