Home
last modified time | relevance | path

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

/plugin/mizarverifiabledocs/script/
H A Dmiz_parser.py39 INLINE_INLINE_RE = re.compile(r":\s*((?:Def|Lm)\d+)\s*:", re.I) variable
105 for jm in INLINE_INLINE_RE.finditer(src[hdr_e:blk_end]):
130 for m in INLINE_INLINE_RE.finditer(src):