diff options
| author | Tim Hatch <tim@timhatch.com> | 2014-10-04 11:29:49 -0700 |
|---|---|---|
| committer | Tim Hatch <tim@timhatch.com> | 2014-10-04 11:29:49 -0700 |
| commit | 9533104db3819e45084c7dcaaa7b2be2b7a9b7c0 (patch) | |
| tree | 5ae730220b20f73579f05949bc0a379cfd479149 /pygments | |
| parent | e23dd41f61562827e9d8759eb31b2f031569cc49 (diff) | |
| download | pygments-9533104db3819e45084c7dcaaa7b2be2b7a9b7c0.tar.gz | |
Correct theorem.py docstring
Diffstat (limited to 'pygments')
| -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. |