diff options
| author | ruki <waruqi@gmail.com> | 2018-11-08 00:38:48 +0800 |
|---|---|---|
| committer | ruki <waruqi@gmail.com> | 2018-11-07 21:53:09 +0800 |
| commit | 26105034da4fcce7ac883c899d781f016559310d (patch) | |
| tree | c459a5dc4e3aa0972d9919033ece511ce76dd129 /node_modules/prismjs/components/prism-mizar.js | |
| parent | 2c77f00f1a7ecb6c8192f9c16d3b2001b254a107 (diff) | |
| download | xmake-docs-26105034da4fcce7ac883c899d781f016559310d.tar.gz xmake-docs-26105034da4fcce7ac883c899d781f016559310d.zip | |
switch to vuepress
Diffstat (limited to 'node_modules/prismjs/components/prism-mizar.js')
| -rw-r--r-- | node_modules/prismjs/components/prism-mizar.js | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/node_modules/prismjs/components/prism-mizar.js b/node_modules/prismjs/components/prism-mizar.js new file mode 100644 index 00000000..1c5d18b0 --- /dev/null +++ b/node_modules/prismjs/components/prism-mizar.js @@ -0,0 +1,12 @@ +Prism.languages.mizar = { + 'comment': /::.+/, + 'keyword': /@proof\b|\b(?:according|aggregate|all|and|antonym|are|as|associativity|assume|asymmetry|attr|be|begin|being|by|canceled|case|cases|clusters?|coherence|commutativity|compatibility|connectedness|consider|consistency|constructors|contradiction|correctness|def|deffunc|define|definitions?|defpred|do|does|equals|end|environ|ex|exactly|existence|for|from|func|given|hence|hereby|holds|idempotence|identity|iff?|implies|involutiveness|irreflexivity|is|it|let|means|mode|non|not|notations?|now|of|or|otherwise|over|per|pred|prefix|projectivity|proof|provided|qua|reconsider|redefine|reduce|reducibility|reflexivity|registrations?|requirements|reserve|sch|schemes?|section|selector|set|sethood|st|struct|such|suppose|symmetry|synonym|take|that|the|then|theorems?|thesis|thus|to|transitivity|uniqueness|vocabular(?:y|ies)|when|where|with|wrt)\b/, + 'parameter': { + pattern: /\$(?:10|\d)/, + alias: 'variable' + }, + 'variable': /\w+(?=:)/, + 'number': /(?:\b|-)\d+\b/, + 'operator': /\.\.\.|->|&|\.?=/, + 'punctuation': /\(#|#\)|[,:;\[\](){}]/ +};
\ No newline at end of file |