INTERNAL_RE (reference) in projects: plugin

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

/plugin/mizarverifiabledocs/script/
D	miz_parser.py	`49 INTERNAL_RE = re.compile(r"^(?:Th\d+\|Th_auto\d+\|Def\d+\|Def_auto\d+\|Lm\d+)$") variable 161 if tok in internal_labels and INTERNAL_RE.fullmatch(tok):`