Correct regexp to match annotations ([a-ZA-Z] should be [a-zA-Z])

This commit is contained in:
Joachim Ansorg 2018-08-24 09:34:33 +00:00 committed by Grégoire Henry
parent 49bb35cc09
commit b2a87a08cd
No known key found for this signature in database
GPG Key ID: 50D984F20BD445D2

View File

@ -2260,7 +2260,7 @@ Syntax
Primitive applications can receive one or many annotations. Primitive applications can receive one or many annotations.
An annotation is a sequence of characters that matches the regular An annotation is a sequence of characters that matches the regular
expression ``[@:%](|@|%|%%|[_a-ZA-Z][_0-9a-zA-Z\.]*)``. They come after expression ``[@:%](|@|%|%%|[_a-zA-Z][_0-9a-zA-Z\.]*)``. They come after
the primitive name and before its potential arguments. the primitive name and before its potential arguments.
:: ::