summaryrefslogtreecommitdiff
path: root/pygments/lexers/elpi.py
Commit message (Expand)AuthorAgeFilesLines
* [elpi] handle quotations (#2419)Enrico Tassi2023-04-301-1/+9
* Update copyright year to 2023.Matthäus G. Chajdas2023-03-291-1/+1
* all: style fixesGeorg Brandl2022-10-271-51/+71
* Rework URL information in lexers.Matthäus G. Chajdas2022-03-201-1/+2
* Merge branch 'fix-elpi' of https://github.com/gares/pygments into gares-fix-elpiMatthäus G. Chajdas2022-02-201-0/+1
|\
| * elpi: fix lexing of -> in ctypeEnrico Tassi2022-01-091-0/+1
* | Elpi: fix catastrophic backtracking (#2061)Jean Abou-Samra2022-02-031-2/+2
* | Happy new year.Georg Brandl2022-01-251-1/+1
|/
* Lexer for new language Elpi (#1894)Enrico Tassi2021-12-121-0/+143