diff options
| author | Maximilian Wuttke <mwuttke97@posteo.de> | 2021-02-23 20:10:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-23 20:10:16 +0100 |
| commit | ad55974ce83b85dbb333ab57764415ab84169461 (patch) | |
| tree | 624ed08e34db65c3870cde1bc92c4827103c1434 /tests/examplefiles/cpp | |
| parent | 1dc90599e9b4a93d06365443ef6f7cc3b193108e (diff) | |
| download | pygments-git-ad55974ce83b85dbb333ab57764415ab84169461.tar.gz | |
Two updates for the Coq lexer (#1721)
* 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.
Diffstat (limited to 'tests/examplefiles/cpp')
0 files changed, 0 insertions, 0 deletions