aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Notations3.out
Commit message (Expand)AuthorAge
* Selecting which notation to print based on current stack of scope.Gravatar Hugo Herbelin2017-11-27
* BZ#5739, Allow level for leftmost nonterminal for printing-ony NotationsGravatar Paul Steckler2017-09-25
* Fixing a bug of recursive notations introduced in dfdaf4de.Gravatar Hugo Herbelin2017-09-12
* Adding a test for #5569 (warning about skipping spaces).Gravatar Hugo Herbelin2017-08-29
* A little reorganization of notations + a fix to #5608.Gravatar Hugo Herbelin2017-08-29
* Adding support for recursive notations of the form "x , .. , y , z".Gravatar Hugo Herbelin2017-07-26
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-06-08
|\
* | Fixing a too lax constraint for finding recursive binder part of a notation.Gravatar Hugo Herbelin2017-05-31
* | Added a test for #4765 (an example of printing abbreviation with binders).Gravatar Hugo Herbelin2017-05-20
| * Fixing bug #5526,allow nonlinear variables in Notation patternsGravatar Paul Steckler2017-05-17
|/
* Taking into account binding patterns when agglutinating sequences of binders.Gravatar Hugo Herbelin2016-07-19
* Notations: fixing multiple binders used as terms in reverse order.Gravatar Hugo Herbelin2016-07-19
* A new step on using alpha-conversion in printing notations.Gravatar Hugo Herbelin2016-07-18
* Partial fix to #4592 (notation requiring alpha-conversion for printing).Gravatar Hugo Herbelin2016-07-17
* More examples of recursive notations, with emphasis in reference manual.Gravatar Hugo Herbelin2016-07-17
* Fixing a bug in recognizing a recursive pattern of notationsGravatar Hugo Herbelin2016-07-17
* Fixing interpretation of notations w/ opposite instances of a recursive pattern.Gravatar Hugo Herbelin2016-07-17
* Fixing printing of notations with several instances of a recursive pattern.Gravatar Hugo Herbelin2016-07-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 13:57:16 +0000