diff options
| author | arcadia-devtools <arcadia-devtools@yandex-team.ru> | 2022-06-09 14:39:19 +0300 |
|---|---|---|
| committer | arcadia-devtools <arcadia-devtools@yandex-team.ru> | 2022-06-09 14:39:19 +0300 |
| commit | c04b663c7bb4b750deeb8f48f620497ec13da8fa (patch) | |
| tree | 151ebc8bfdd2ad918caf5e6e2d8013e14272ddf8 /contrib/python/Pygments/py3/pygments/lexers/verification.py | |
| parent | 0d55ca22c507d18c2f35718687e0b06d9915397b (diff) | |
| download | ydb-c04b663c7bb4b750deeb8f48f620497ec13da8fa.tar.gz | |
intermediate changes
ref:2d4f292087954c9344efdabb7b2a67f466263c65
Diffstat (limited to 'contrib/python/Pygments/py3/pygments/lexers/verification.py')
| -rw-r--r-- | contrib/python/Pygments/py3/pygments/lexers/verification.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/contrib/python/Pygments/py3/pygments/lexers/verification.py b/contrib/python/Pygments/py3/pygments/lexers/verification.py index 2d473ae8128..1721d779241 100644 --- a/contrib/python/Pygments/py3/pygments/lexers/verification.py +++ b/contrib/python/Pygments/py3/pygments/lexers/verification.py @@ -4,7 +4,7 @@ Lexer for Intermediate Verification Languages (IVLs). - :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS. + :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ @@ -17,11 +17,12 @@ __all__ = ['BoogieLexer', 'SilverLexer'] class BoogieLexer(RegexLexer): """ - For `Boogie <https://boogie.codeplex.com/>`_ source code. + For Boogie source code. .. versionadded:: 2.1 """ name = 'Boogie' + url = 'https://boogie-docs.readthedocs.io/en/latest/' aliases = ['boogie'] filenames = ['*.bpl'] @@ -64,7 +65,7 @@ class BoogieLexer(RegexLexer): class SilverLexer(RegexLexer): """ - For `Silver <https://bitbucket.org/viperproject/silver>`_ source code. + For Silver source code. .. versionadded:: 2.2 """ |