summaryrefslogtreecommitdiff
path: root/pygments/lexers/theorem.py
Commit message (Collapse)AuthorAgeFilesLines
* all: remove "u" string prefix (#1536)Georg Brandl2020-09-081-5/+5
| | | | | | | | | | | * all: remove "u" string prefix * util: remove unirange Since Python 3.3, all builds are wide unicode compatible. * unistring: remove support for narrow-unicode builds which stopped being relevant with Python 3.3
* 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
| | | | From the fork at https://bitbucket.org/gebner/pygments-main/src/default/
* Lean: add "^" operatorGeorg Brandl2019-12-011-1/+1
| | | | Fixes #1163
* 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
This introduces support for some missing features to the Handlebars lexer: Partials and path segments. Partials mostly appeared to work before, but the `>` in `{{> ... }}` would appear as a syntax error, as could other components of the partial. This change introduces support for: * Standard partials: `{{> partialName}}` * Partials with parameters: `{{> partialName varname="value"}}` * Ddynamic partials: `{{> (partialFunc)}}` * Ddynamic partials with lookups: `{{> (lookup ../path "partialName")}}` * Partial blocks: `{{> @partial-block}}` * Inline partials: `{{#*inline}}..{{/inline}}` It also introduces support for path segments, which can reference content in the current context or in a parent context. For instance, `this.name`, `this/name`, `./name`, `../name`, `this/name`, etc. These are all now tracked as variables.