diff options
| author | Tim Hatch <tim@timhatch.com> | 2014-10-04 11:15:45 -0700 |
|---|---|---|
| committer | Tim Hatch <tim@timhatch.com> | 2014-10-04 11:15:45 -0700 |
| commit | e23dd41f61562827e9d8759eb31b2f031569cc49 (patch) | |
| tree | 0e2d9e7f3e4a4500981d524098aa7b391fb12359 | |
| parent | aecd82a97ccca9955401ca2261d0bd3d989a1865 (diff) | |
| download | pygments-e23dd41f61562827e9d8759eb31b2f031569cc49.tar.gz | |
Remove extraneous commas
| -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') |