Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [elpi] handle quotations (#2419) | Enrico Tassi | 2023-04-30 | 1 | -1/+9 |
* | Update copyright year to 2023. | Matthäus G. Chajdas | 2023-03-29 | 1 | -1/+1 |
* | all: style fixes | Georg Brandl | 2022-10-27 | 1 | -51/+71 |
* | Rework URL information in lexers. | Matthäus G. Chajdas | 2022-03-20 | 1 | -1/+2 |
* | Merge branch 'fix-elpi' of https://github.com/gares/pygments into gares-fix-elpi | Matthäus G. Chajdas | 2022-02-20 | 1 | -0/+1 |
|\ | |||||
| * | elpi: fix lexing of -> in ctype | Enrico Tassi | 2022-01-09 | 1 | -0/+1 |
* | | Elpi: fix catastrophic backtracking (#2061) | Jean Abou-Samra | 2022-02-03 | 1 | -2/+2 |
* | | Happy new year. | Georg Brandl | 2022-01-25 | 1 | -1/+1 |
|/ | |||||
* | Lexer for new language Elpi (#1894) | Enrico Tassi | 2021-12-12 | 1 | -0/+143 |