Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Taking into account binding patterns when agglutinating sequences of binders. | 2016-07-19 | |
* | Notations: fixing multiple binders used as terms in reverse order. | 2016-07-19 | |
* | A new step on using alpha-conversion in printing notations. | 2016-07-18 | |
* | Partial fix to #4592 (notation requiring alpha-conversion for printing). | 2016-07-17 | |
* | More examples of recursive notations, with emphasis in reference manual. | 2016-07-17 | |
* | Fixing a bug in recognizing a recursive pattern of notations | 2016-07-17 | |
* | Fixing interpretation of notations w/ opposite instances of a recursive pattern. | 2016-07-17 | |
* | Fixing printing of notations with several instances of a recursive pattern. | 2016-07-17 |