summaryrefslogtreecommitdiff
path: root/pygments/lexers/theorem.py
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix some unicode-related tests on Python 2.Tim Hatch2016-06-031-5/+6
* Remove a bunch of duplicates in words()Tim Hatch2016-06-021-1/+1
* Fix most complaints from regexlint.Georg Brandl2016-02-141-14/+17
* trying to do a bit more cleanup.Gregory Malecha2015-12-181-11/+12
* a few missing keyworkds.Gregory Malecha2015-12-181-1/+2
* Add two missing operators '?' and '?' for Lean theorem proverSoonho Kong2015-02-041-1/+2
* merge with stableGeorg Brandl2015-01-211-23/+8
|\
| * Rollback to [a-z] for the Name.VariableSoonho Kong2015-01-161-1/+1
| * remove tactics, word_operators, and primitives from highlightingSoonho Kong2015-01-161-22/+7
| * Add three missing operators '?', '?', '?' for Lean theorem proverSoonho Kong2015-01-151-1/+1
| * Add a missing operator '`' for Lean theorem proverSoonho Kong2014-12-091-1/+1
| * Add two missing operators '?' and '!' for Lean theorem proverSoonho Kong2014-11-241-2/+2
* | Copyright year update.Georg Brandl2015-01-211-1/+1
|/
* Remove duplicates from data passed to words()Tim Hatch2014-11-061-1/+1
* Simplify charclasses in a few more modulesGeorg Brandl2014-11-061-1/+1
* More fixes thanks to regexlint.Georg Brandl2014-10-161-1/+1
* all lexers: fix unescaped { and } so that the "regex" module can compile our ...Georg Brandl2014-10-151-2/+2
* Merged in leodemoura/pygments-main (pull request #399)Georg Brandl2014-10-081-1/+95
* Correct theorem.py docstringTim Hatch2014-10-041-2/+2
* Remove extraneous commasTim Hatch2014-10-041-2/+2
* Fix quoting for IsabelleLexerTim Hatch2014-10-041-3/+3
* Fix minor problems noted by regexlint and 'make check'Tim Hatch2014-10-041-2/+2
* Merged in lsf37/pygments-main (pull request #386)Georg Brandl2014-09-201-2/+218
* Merged in jaingaurav2/pygments-main-1011 (pull request #376)Georg Brandl2014-09-201-5/+5
* split up functional lexersGeorg Brandl2014-09-191-0/+156
View Lorry Controller Status