diff options
| author | Eric Wieser <wieser.eric@gmail.com> | 2020-11-16 17:17:41 +0000 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2020-11-19 08:13:31 +0100 |
| commit | 190717d1eb5c1b29cf3cf28d7ccc7db3e1f366f7 (patch) | |
| tree | e1d856605fb8204584412b0f4c42c51462ceeb35 | |
| parent | ed985a175acd501e44a14ea597fe0d302f501c3d (diff) | |
| download | pygments-git-190717d1eb5c1b29cf3cf28d7ccc7db3e1f366f7.tar.gz | |
lean: Add missing keywords
| -rw-r--r-- | pygments/lexers/theorem.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index a4fa24de..487adf31 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -410,6 +410,7 @@ class LeanLexer(RegexLexer): 'universe', 'universes', 'inductive', 'coinductive', 'structure', 'extends', 'class', 'instance', + 'abbreviation', 'noncomputable theory', @@ -434,6 +435,7 @@ class LeanLexer(RegexLexer): 'let', 'if', 'else', 'then', 'in', 'with', 'calc', 'match', 'do' ), prefix=r'\b', suffix=r'\b'), Keyword), + (words(('sorry', 'admit'), prefix=r'\b', suffix=r'\b'), Generic.Error), (words(('Sort', 'Prop', 'Type'), prefix=r'\b', suffix=r'\b'), Keyword.Type), (words(( '#eval', '#check', '#reduce', '#exit', |