diff options
| -rw-r--r-- | AUTHORS | 2 | ||||
| -rw-r--r-- | pygments/lexers/functional.py | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -115,6 +115,7 @@ Other contributors, listed alphabetically, are: * Jesper Noehr -- HTML formatter "anchorlinenos" * Mike Nolta -- Julia lexer * Jonas Obrist -- BBCode lexer +* Edward O'Callaghan -- Cryptol lexer * David Oliva -- Rebol lexer * Pat Pannuto -- nesC lexer * Jon Parise -- Protocol buffers lexer @@ -166,6 +167,5 @@ Other contributors, listed alphabetically, are: * Enrique Zamudio -- Ceylon lexer * Alex Zimin -- Nemerle lexer * Rob Zimmerman -- Kal lexer -* Edward O'Callaghan -- Cryptol lexer Many thanks for all contributions! diff --git a/pygments/lexers/functional.py b/pygments/lexers/functional.py index 3e066e6c..6fc9c58b 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -898,9 +898,9 @@ class CommonLispLexer(RegexLexer): class CryptolLexer(RegexLexer): """ - FIXME: A Cryptol lexer based on the lexemes defined in the Haskell 98 Report. + FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. - .. versionadded:: 0.1 + .. versionadded:: 2.0 """ name = 'Cryptol' aliases = ['cryptol', 'cry'] |