aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Notations.v
Commit message (Expand)AuthorAge
* Revert "Merge PR #873: New strategy based on open scopes for deciding which n...Gravatar Maxime Dénès2018-03-09
* Selecting which notation to print based on current stack of scope.Gravatar Hugo Herbelin2017-11-27
* Fixing bug #5693 (treating empty notation format as any format).Gravatar Hugo Herbelin2017-09-12
* Fix Bug #5568, no dup notation warnings on repeated module importsGravatar Paul Steckler2017-06-09
* Fix issues in test-suite revealed by warnings.Gravatar Maxime Dénès2016-06-29
* Adapting the output test Notations:Gravatar Hugo Herbelin2014-10-02
* Using Parameter instead of Variable in test-suite/outputGravatar herbelin2013-04-17
* Fixing parsing of specific primitive tokens used as notations for patternsGravatar herbelin2012-12-18
* Fixing bug #2835 (the rationale for printing notations was notGravatar herbelin2012-07-21
* Constrextern is allow to use partially applied notationsGravatar pboutill2012-06-14
* Parameters in pattern first step.Gravatar pboutill2012-01-16
* 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-05-18 23:49:59 +0000