| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [elpi] handle quotations (#2419) | Enrico Tassi | 2023-04-30 | 1 | -0/+33 |
| * | Merge branch 'fix-elpi' of https://github.com/gares/pygments into gares-fix-elpi | Matthäus G. Chajdas | 2022-02-20 | 2 | -2/+21 |
| |\ | |||||
| | * | elpi: fix lexing of -> in ctype | Enrico Tassi | 2022-01-09 | 2 | -2/+21 |
| * | | Elpi: fix catastrophic backtracking (#2061) | Jean Abou-Samra | 2022-02-03 | 1 | -0/+6 |
| |/ | |||||
| * | Lexer for new language Elpi (#1894) | Enrico Tassi | 2021-12-12 | 5 | -0/+309 |
