aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/Notations.v
AgeCommit message (Expand)Author
2009-11-11Improving abbreviations/notations + backtrack of semantic change in r12439herbelin
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-11-09- Correction erreur dans test output Notation.vherbelin
2008-11-07- Ajout possibilité de lancer ocamldebug sur coqideherbelin
2008-10-22Affichage des notations récursives:herbelin
2007-05-10Prise en compte réversibilité des notations de la forme "Notation Nil := @n...herbelin
2006-10-09Exemple avec liaison des variables de filtrage du matchherbelin
2006-10-09Notations:herbelin
2006-09-23Correction bug #1179 (result of Notation.decompose_notation_key in wrong orderherbelin
2006-09-23- Correction filtrage des notations impliquant un "match" : la présenceherbelin
2006-01-11Ajout test notation récursiveherbelin
2006-01-05Test choix conflit afficheur de nombres selon la présence ou pas d'une coercionherbelin
2005-12-21Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
2004-12-09Ajout suffixe 8 pour test en nouvelle syntaxeherbelin
2004-11-17test-suite/output/Notations.outherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:18:46 +0000