summaryrefslogtreecommitdiff
path: root/pygments/lexers/theorem.py
Commit message (Expand)AuthorAgeFilesLines
* 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