Mercurial Repositories > eric / file comparison
comparison: eric6/ThirdParty/Pygments/pygments/lexers/verification.py
eric6/ThirdParty/Pygments/pygments/lexers/verification.py
- changeset 7983
- 54c5cfbb1e29
- parent 7701
- 25f42e208e08
equal
deleted
inserted
replaced
| 7982:48d210e41c65 | 7983:54c5cfbb1e29 |
|---|---|
| 3 pygments.lexers.verification | 3 pygments.lexers.verification |
| 4 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | 4 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 5 | 5 |
| 6 Lexer for Intermediate Verification Languages (IVLs). | 6 Lexer for Intermediate Verification Languages (IVLs). |
| 7 | 7 |
| 8 :copyright: Copyright 2006-2020 by the Pygments team, see AUTHORS. | 8 :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS. |
| 9 :license: BSD, see LICENSE for details. | 9 :license: BSD, see LICENSE for details. |
| 10 """ | 10 """ |
| 11 | 11 |
| 12 from pygments.lexer import RegexLexer, include, words | 12 from pygments.lexer import RegexLexer, include, words |
| 13 from pygments.token import Comment, Operator, Keyword, Name, Number, \ | 13 from pygments.token import Comment, Operator, Keyword, Name, Number, \ |
