Searched refs:DefinitionBlock (Results 1 – 5 of 5) sorted by relevance
| /plugin/mizarverifiabledocs/src/ |
| H A D | mizar.grammar | 7 DefinitionBlock {
33 DefinitionBlock |
|
| H A D | mizar-parser.terms.js | 16 DefinitionBlock = 14, constant
|
| H A D | script.js | 56 DefinitionBlock: foldInside, property
79 DefinitionBlock(context) { method
|
| /plugin/mizarverifiabledocs/dist/ |
| H A D | script.js | 1 …DefinitionBlock:on,Proof:on,NowBlock:on,HerebyBlock:on})]}),hm=rj.define({parser:hg}),hv=r6.add({P… property
|
| H A D | script.js.map | 1 …DefinitionBlock Proof NowBlock HerebyBlock\",\n maxTerm: 25,\n propSources: [\n (0, $…
|