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