aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Notations.v
Commit message (Expand)AuthorAge
* Make Notation works with anonymous-level "Type".Gravatar herbelin2011-06-08
* Extension of the recursive notations mechanismGravatar herbelin2010-07-22
* Improving abbreviations/notations + backtrack of semantic change in r12439Gravatar herbelin2009-11-11
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Correction erreur dans test output Notation.vGravatar herbelin2008-11-09
* - Ajout possibilité de lancer ocamldebug sur coqideGravatar herbelin2008-11-07
* Affichage des notations récursives:Gravatar herbelin2008-10-22
* Prise en compte réversibilité des notations de la forme "Notation Nil := @n...Gravatar herbelin2007-05-10
* Exemple avec liaison des variables de filtrage du matchGravatar herbelin2006-10-09
* Notations:Gravatar herbelin2006-10-09
* Correction bug #1179 (result of Notation.decompose_notation_key in wrong orderGravatar herbelin2006-09-23
* - Correction filtrage des notations impliquant un "match" : la présenceGravatar herbelin2006-09-23
* Ajout test notation récursiveGravatar herbelin2006-01-11
* Test choix conflit afficheur de nombres selon la présence ou pas d'une coercionGravatar herbelin2006-01-05
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Ajout suffixe 8 pour test en nouvelle syntaxeGravatar herbelin2004-12-09
* test-suite/output/Notations.outGravatar herbelin2004-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 15:58:26 +0000