TacticNotationsLexer.tokens « notations « coqrst « tools « doc - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/doc/tools/coqrst/notations/TacticNotationsLexer.tokens

blob: 76ed2b065be8f6da236caa296307d276fcb51566 (plain)

LGROUP=1
LBRACE=2
RBRACE=3
METACHAR=4
ATOM=5
ID=6
WHITESPACE=7
'{'=2
'}'=3