Home
last modified time | relevance | path

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

/plugin/mizarverifiabledocs/src/
H A Dmizar.grammar15 NowBlock {
35 NowBlock |
H A Dmizar-parser.terms.js18 NowBlock = 16, constant
H A Dscript.js57 NowBlock: foldInside, property
81 NowBlock(context) { method
/plugin/mizarverifiabledocs/dist/
H A Dscript.js1 …NowBlock:on,HerebyBlock:on})]}),hm=rj.define({parser:hg}),hv=r6.add({Proof:t=>t.lineIndent(t.node.… property
H A Dscript.js.map1 …NowBlock HerebyBlock\",\n maxTerm: 25,\n propSources: [\n (0, $88d9d578e346fc59$expor…