diff options
author | Norbert Preining <norbert@preining.info> | 2020-10-12 03:04:00 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-10-12 03:04:00 +0000 |
commit | 0ce40abb18ec02ec6fd6bcc5f21612c88daa7578 (patch) | |
tree | 416289fe1448873fd8ca33051f50ad85bffa8aaa /support/splint/examples/ld/lstokenset.sty | |
parent | fdb18507cd80dc17f5a5256153d34668b4f4e61c (diff) |
CTAN sync 202010120303
Diffstat (limited to 'support/splint/examples/ld/lstokenset.sty')
-rw-r--r-- | support/splint/examples/ld/lstokenset.sty | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/support/splint/examples/ld/lstokenset.sty b/support/splint/examples/ld/lstokenset.sty index 3ab3ae2d16..441bad2543 100644 --- a/support/splint/examples/ld/lstokenset.sty +++ b/support/splint/examples/ld/lstokenset.sty @@ -1,4 +1,4 @@ -% Copyright 2012-2015, Alexander Shibakov +% Copyright 2012-2020, Alexander Shibakov % This file is part of SPLinT % % SPLinT is free software: you can redistribute it and/or modify @@ -14,10 +14,11 @@ % You should have received a copy of the GNU General Public License % along with SPLinT. If not, see <http://www.gnu.org/licenses/>. -\prettywordpair{OPTIONAL}{{\tt opt}}% -\prettywordpair{SUFFIX}{{\tt suffix}}% -\prettywordpair{EXTENDED}{{\tt ext}}% -\prettywordpair{INTEGER}{{$[\,0\ldots9\,]\ast$}}% -\prettywordpair{IDENTIFIER}{{$[\,\hbox{\tt a}\ldots\hbox{\tt Z}\,0\ldots9\,]\ast$}}% -\prettywordpair{WILDCARD}{{{\tt *} {\rm or} {\tt ?}}}% -\prettywordpair{PERCENT_IDENTIFIER}{{\tt\%$[\,\hbox{\tt a}\ldots\hbox{\tt Z}\,0\ldots9\,]\ast$}}% +\prettywordpairwvis{OPTIONAL}{{\tt opt}}{opt}% +\prettywordpairwvis{SUFFIX}{{\tt suffix}}{suffix}% +\prettywordpairwvis{EXTENDED}{{\tt ext}}{ext}% +\prettywordpairwvis{INTEGER}{{$[\,0\ldots9\,]\ast$}}{[0...9]*}% +\prettywordpairwvis{IDENTIFIER}{{$[\,\hbox{\tt a}\ldots\hbox{\tt Z}\,0\ldots9\,]\ast$}}{[a...Z0...9]*}% +\prettywordpairwvis{META_IDENTIFIER}{{\cyr\lqq{\rm meta identifier}\rqq}}{meta identifier}% +\prettywordpairwvis{WILDCARD}{{{\tt *} {\rm or} {\tt ?}}}{* or ?}% +\prettywordpairwvis{PERCENT_IDENTIFIER}{{\tt\%$[\,\hbox{\tt a}\ldots\hbox{\tt Z}\,0\ldots9\,]\ast$}}{\%[a...Z0...9]*}% |