summaryrefslogtreecommitdiff
path: root/pygments/lexers/theorem.py
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | | | | | | | | | | | | | | | * Add analyze_text to make make check happy. This also fixes a few small bugs: * Slash uses *.sla as the file ending, not *.sl * IDL has endelse, not elseelse * Improve various analyse_text methods. * Improve various analyse_text methods. * Make Perl less confident in presence of :=. * Improve brainfuck check to not parse the whole input. * Improve Unicon by matching \self, /self * Fix Ezhil not matching against the input text * Simplify Modula2::analyse_text.
* 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.