summaryrefslogtreecommitdiff
path: root/pygments/lexers/theorem.py
Commit message (Expand)AuthorAgeFilesLines
* lean: correctly parse expressions nested within attributes (#1817)Eric Wieser2023-04-201-23/+32
* Update copyright year to 2023.Matthäus G. Chajdas2023-03-291-1/+1
* all: style fixesGeorg Brandl2022-10-271-2/+0
* Added cartouche handling for Isabelle lexer (#2159)Dacit2022-06-281-15/+17
* coq: Add some common keywords and improve recognition of Set and qualified id...Xia Li-yao2022-06-111-5/+10
* Rework URL information in lexers.Matthäus G. Chajdas2022-03-201-4/+6
* Remove now redundant re.UNICODE and (?u) (#2058)Jean Abou-Samra2022-01-311-3/+1
* Happy new year.Georg Brandl2022-01-251-1/+1
* Add missing keywords (Vernacular commands and tactics) for the Coq lexer (#1984)Kazuhiko Sakaguchi2021-12-101-9/+10
* Two updates for the Coq lexer (#1721)Maximilian Wuttke2021-02-231-2/+4
* Run pyupgrade across codebase to modernize syntax and patterns (#1622)Jon Dufresne2021-01-171-1/+0
* Fix Coq-related bug #678 (#1648)Maximilian Wuttke2021-01-041-3/+6
* Bump copyright year.Matthäus G. Chajdas2021-01-031-1/+1
* lean: Add missing keywordsEric Wieser2020-11-191-0/+2
* Add analyze_text to make make check happy. (#1549)Matthäus G. Chajdas2020-09-231-2/+2
* all: remove "u" string prefix (#1536)Georg Brandl2020-09-081-5/+5
* Update copyright year (fixes #1514.)Matthäus G. Chajdas2020-08-221-1/+1
* Lean: update to Lean 3Bryan Gin-ge Chen2020-03-141-45/+61
* Lean: add "^" operatorGeorg Brandl2019-12-011-1/+1
* Fixup all headers and some more minor problems.2.4.2Georg Brandl2019-05-281-1/+1
* Stop highlighting primitive types in Coq (fixes #1430.)Matth?us G. Chajdas2019-05-181-2/+0
* Copyright update.Georg Brandl2017-01-221-1/+1
* Add support for partials and path segments for Handlebars.Christian Hammond2016-11-041-0/+458
View Lorry Controller Status