summaryrefslogtreecommitdiff
path: root/pygments/lexers/theorem.py
Commit message (Collapse)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
| | | Co-authored-by: Fabian Huch <huch@in.tum.de>
* coq: Add some common keywords and improve recognition of Set and qualified ↵Xia Li-yao2022-06-111-5/+10
| | | | | | | | | identifiers (#2158) . is not an operator in Coq: in this specific usage, it is only meant to build a qualified name, so this rule really corresponds to a proper lexical rule in Coq Unlike most languages, Coq has a large set of special words that are not reserved: they may still be used as identifiers. For example Prop is a special word, which currently gets highlighted as such in Equations.Prop.Equations, but it should be recognized as a regular name there. Because of how flexible the syntax of Coq is, it's not straightforward to disambiguate things with just a bunch of regexes, so we have to rely on heuristics. Skipping qualified names from being recognized as keywords is an easy win.
* Rework URL information in lexers.Matthäus G. Chajdas2022-03-201-4/+6
| | | | | | | | This commit adds a new url field to a lexer, which can be used to link to the language website, instead of relying on having the link in either languages.rst or the docstring of the lexer. Additionally, it changes the languages.rst file to auto-generate the list of lexers from the actual source code, using the provided URL.
* 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
| | | | | | | | * Coq: Add `Abort`,`Admitted`, `SProp` * Coq lexer: add unicode notations defined in the standard library Also comment out Π and Σ, since these notations are not defined in the standard library.
* Run pyupgrade across codebase to modernize syntax and patterns (#1622)Jon Dufresne2021-01-171-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | pyupgrade is a tool to automatically upgrade syntax for newer versions of the Python language. The project has been Python 3 only since 35544e2fc6eed0ce4a27ec7285aac71ff0ddc473, allowing for several cleanups: - Remove unnecessary "-*- coding: utf-8 -*-" cookie. Python 3 reads all source files as utf-8 by default. - Replace IOError/EnvironmentError with OSError. Python 3 unified these exceptions. The old names are aliases only. - Use the Python 3 shorter super() syntax. - Remove "utf8" argument form encode/decode. In Python 3, this value is the default. - Remove "r" from open() calls. In Python 3, this value is the default. - Remove u prefix from Unicode strings. In Python 3, all strings are Unicode. - Replace io.open() with builtin open(). In Python 3, these functions are functionally equivalent. Co-authored-by: Matthäus G. Chajdas <Anteru@users.noreply.github.com>
* Fix Coq-related bug #678 (#1648)Maximilian Wuttke2021-01-041-3/+6
| | | | | | | | | | | * Unicode support for Coq Catch-all lexing for `Name.Builtin.Pseudo`, as in the lean lexer. This fixes #678. * Coq lexer: improve `analyse_text` * Add a test for Coq
* 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
| | | | | | | | | | | | | | | | | | | * 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.
View Lorry Controller Status