Home
last modified time | relevance | path

Searched refs:LABEL_RE (Results 1 – 1 of 1) sorted by relevance

/plugin/mizarverifiabledocs/script/
H A Dmiz_parser.py45 LABEL_RE = re.compile( variable
157 for tok in LABEL_RE.findall(seg):