Restoring authorship annotation for <orivej@yandex-team.ru>. Commit 2 of 2.

1 files changed, 23 insertions, 23 deletions

diff --git a/contrib/python/Pygments/py2/pygments/lexers/theorem.py b/contrib/python/Pygments/py2/pygments/lexers/theorem.py
index f1d82f62d0..a26a173f95 100644
--- a/contrib/python/Pygments/py2/pygments/lexers/theorem.py
+++ b/contrib/python/Pygments/py2/pygments/lexers/theorem.py
@@ -5,7 +5,7 @@
 
     Lexers for theorem-proving languages.
 
-    :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. 
+    :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -388,23 +388,23 @@ class LeanLexer(RegexLexer):
 
     flags = re.MULTILINE | re.UNICODE
 
-    keywords1 = ( 
-        'import', 'abbreviation', 'opaque_hint', 'tactic_hint', 'definition', 
-        'renaming', 'inline', 'hiding', 'exposing', 'parameter', 'parameters', 
-        'conjecture', 'hypothesis', 'lemma', 'corollary', 'variable', 'variables', 
-        'theorem', 'axiom', 'inductive', 'structure', 'universe', 'alias', 
-        'help', 'options', 'precedence', 'postfix', 'prefix', 'calc_trans', 
-        'calc_subst', 'calc_refl', 'infix', 'infixl', 'infixr', 'notation', 'eval', 
-        'check', 'exit', 'coercion', 'end', 'private', 'using', 'namespace', 
-        'including', 'instance', 'section', 'context', 'protected', 'expose', 
-        'export', 'set_option', 'add_rewrite', 'extends', 'open', 'example', 
-        'constant', 'constants', 'print', 'opaque', 'reducible', 'irreducible', 
+    keywords1 = (
+        'import', 'abbreviation', 'opaque_hint', 'tactic_hint', 'definition',
+        'renaming', 'inline', 'hiding', 'exposing', 'parameter', 'parameters',
+        'conjecture', 'hypothesis', 'lemma', 'corollary', 'variable', 'variables',
+        'theorem', 'axiom', 'inductive', 'structure', 'universe', 'alias',
+        'help', 'options', 'precedence', 'postfix', 'prefix', 'calc_trans',
+        'calc_subst', 'calc_refl', 'infix', 'infixl', 'infixr', 'notation', 'eval',
+        'check', 'exit', 'coercion', 'end', 'private', 'using', 'namespace',
+        'including', 'instance', 'section', 'context', 'protected', 'expose',
+        'export', 'set_option', 'add_rewrite', 'extends', 'open', 'example',
+        'constant', 'constants', 'print', 'opaque', 'reducible', 'irreducible',
     )
 
     keywords2 = (
-        'forall', 'fun', 'Pi', 'obtain', 'from', 'have', 'show', 'assume', 
-        'take', 'let', 'if', 'else', 'then', 'by', 'in', 'with', 'begin', 
-        'proof', 'qed', 'calc', 'match', 
+        'forall', 'fun', 'Pi', 'obtain', 'from', 'have', 'show', 'assume',
+        'take', 'let', 'if', 'else', 'then', 'by', 'in', 'with', 'begin',
+        'proof', 'qed', 'calc', 'match',
     )
 
     keywords3 = (
@@ -413,16 +413,16 @@ class LeanLexer(RegexLexer):
     )
 
     operators = (
-        u'!=', u'#', u'&', u'&&', u'*', u'+', u'-', u'/', u'@', u'!', u'`', 
-        u'-.', u'->', u'.', u'..', u'...', u'::', u':>', u';', u';;', u'<', 
-        u'<-', u'=', u'==', u'>', u'_', u'|', u'||', u'~', u'=>', u'<=', u'>=', 
-        u'/\\', u'\\/', u'∀', u'Π', u'λ', u'↔', u'∧', u'∨', u'≠', u'≤', u'≥', 
-        u'¬', u'⁻¹', u'⬝', u'▸', u'→', u'∃', u'ℕ', u'ℤ', u'≈', u'×', u'⌞', 
-        u'⌟', u'≡', u'⟨', u'⟩', 
+        u'!=', u'#', u'&', u'&&', u'*', u'+', u'-', u'/', u'@', u'!', u'`',
+        u'-.', u'->', u'.', u'..', u'...', u'::', u':>', u';', u';;', u'<',
+        u'<-', u'=', u'==', u'>', u'_', u'|', u'||', u'~', u'=>', u'<=', u'>=',
+        u'/\\', u'\\/', u'∀', u'Π', u'λ', u'↔', u'∧', u'∨', u'≠', u'≤', u'≥',
+        u'¬', u'⁻¹', u'⬝', u'▸', u'→', u'∃', u'ℕ', u'ℤ', u'≈', u'×', u'⌞',
+        u'⌟', u'≡', u'⟨', u'⟩',
     )
 
-    punctuation = (u'(', u')', u':', u'{', u'}', u'[', u']', u'⦃', u'⦄', 
-                   u':=', u',') 
+    punctuation = (u'(', u')', u':', u'{', u'}', u'[', u']', u'⦃', u'⦄',
+                   u':=', u',')
 
     tokens = {
         'root': [