coq - The formal proof system

Age	Commit message (Expand)	Author
2009-11-11	Improving abbreviations/notations + backtrack of semantic change in r12439	herbelin
2008-12-02	Miscellaneous fixes and improvements:	herbelin
2008-11-07	- Ajout possibilité de lancer ocamldebug sur coqide	herbelin
2008-10-22	Affichage des notations récursives:	herbelin
2007-05-10	Prise en compte réversibilité des notations de la forme "Notation Nil := @n...	herbelin
2006-10-09	Exemple avec liaison des variables de filtrage du match	herbelin
2006-10-09	Notations:	herbelin
2006-09-23	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-01-11	Ajout test notation récursive	herbelin
2006-01-05	Test choix conflit afficheur de nombres selon la présence ou pas d'une coercion	herbelin
2005-12-22	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin
2004-12-09	Ajout suffixe 8 pour test en nouvelle syntaxe	herbelin
2004-11-17	Test lieurs dans Notation	herbelin