Searched refs:mizarLanguage (Results 1 – 4 of 4) sorted by relevance
67 const mizarLanguage = LRLanguage.define({ constant91 const mizarWithIndent = mizarLanguage.configure({100 return new LanguageSupport(mizarLanguage);
1 …mizarLanguage = (0, $d245ca63c4fe5041$export$b243968d9fb6db03).define({\n parser: $1df32a4945e9…