diff options
| -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 9ab77fc9..5406f456 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -249,7 +249,7 @@ class IsabelleLexer(RegexLexer): 'boogie_file', 'datatype_compat', 'text_cartouche', ) - keyword_theory_script = ('inductive_cases', 'inductive_simps', ) + keyword_theory_script = ('inductive_cases', 'inductive_simps') keyword_theory_goal = ( 'ax_specification', 'bnf', 'code_pred', 'corollary', 'cpodef', @@ -266,7 +266,7 @@ class IsabelleLexer(RegexLexer): keyword_qed = ('by', 'done', 'qed') keyword_abandon_proof = ('sorry', 'oops') - keyword_proof_goal = ('have', 'hence', 'interpret', ) + keyword_proof_goal = ('have', 'hence', 'interpret') keyword_proof_block = ('next', 'proof') |