TacticNotationsLexer.tokens « notations « coqrst « tools « doc - coq - The formal proof system

about summary refs log tree commit diff

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

blob: 2670e20aa640d0300bf74b7f2bc5221c5992cf90 (plain)

LALT=1
LGROUP=2
LBRACE=3
RBRACE=4
ESCAPED=5
PIPE=6
ATOM=7
ID=8
SUB=9
WHITESPACE=10
'{|'=1
'{'=3
'}'=4
'|'=6