aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/Notations.v
AgeCommit message (Expand)Author
2020-07-12Fixes #12682 (recursive notation printing bug with n-ary applications).Hugo Herbelin
2019-12-26Add rew dependent NotationsJason Gross
2019-04-29Revert #8187Vincent Laporte
2018-12-04Selecting which notation to print based on current stack of scope.Hugo Herbelin
2018-09-10Adapting standard library to the introduction of "Declare Scope".Hugo Herbelin
2018-03-09Revert "Merge PR #873: New strategy based on open scopes for deciding which n...Maxime Dénès
2017-11-27Selecting which notation to print based on current stack of scope.Hugo Herbelin
2017-09-12Fixing bug #5693 (treating empty notation format as any format).Hugo Herbelin
2017-06-09Fix Bug #5568, no dup notation warnings on repeated module importsPaul Steckler
2016-06-29Fix issues in test-suite revealed by warnings.Maxime Dénès
2014-10-02Adapting the output test Notations:Hugo Herbelin
2013-04-17Using Parameter instead of Variable in test-suite/outputherbelin
2012-12-18Fixing parsing of specific primitive tokens used as notations for patternsherbelin
2012-07-21Fixing bug #2835 (the rationale for printing notations was notherbelin
2012-06-14Constrextern is allow to use partially applied notationspboutill
2012-01-16Parameters in pattern first step.pboutill
2011-06-08Make Notation works with anonymous-level "Type".herbelin
2010-07-22Extension of the recursive notations mechanismherbelin
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-01-31 11:14:07 +0000