diff options
Diffstat (limited to 'pygments/lexers/theorem.py')
| -rw-r--r-- | pygments/lexers/theorem.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index 5406f456..b7d3b627 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -1,7 +1,7 @@ # -*- coding: utf-8 -*- """ - pygments.lexers.functl - ~~~~~~~~~~~~~~~~~~~~~~ + pygments.lexers.theorem + ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for theorem-proving languages. |