TacticNotations.tokens « notations « coqrst « tools « doc - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

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

blob: 88b38f97a6964d2c4c66fda937c453ace678fd54 (plain)

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