main
|
Last change
on this file was d24f17c, checked in by Aleksandar Panovski <apano77@…>, 15 months ago |
|
Initial commit
|
-
Property mode
set to
100644
|
|
File size:
1.2 KB
|
| Line | |
|---|
| 1 | 'use strict'
|
|---|
| 2 |
|
|---|
| 3 | module.exports = mizar
|
|---|
| 4 | mizar.displayName = 'mizar'
|
|---|
| 5 | mizar.aliases = []
|
|---|
| 6 | function mizar(Prism) {
|
|---|
| 7 | Prism.languages.mizar = {
|
|---|
| 8 | comment: /::.+/,
|
|---|
| 9 | keyword:
|
|---|
| 10 | /@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|end|environ|equals|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(?:ies|y)|when|where|with|wrt)\b/,
|
|---|
| 11 | parameter: {
|
|---|
| 12 | pattern: /\$(?:10|\d)/,
|
|---|
| 13 | alias: 'variable'
|
|---|
| 14 | },
|
|---|
| 15 | variable: /\b\w+(?=:)/,
|
|---|
| 16 | number: /(?:\b|-)\d+\b/,
|
|---|
| 17 | operator: /\.\.\.|->|&|\.?=/,
|
|---|
| 18 | punctuation: /\(#|#\)|[,:;\[\](){}]/
|
|---|
| 19 | }
|
|---|
| 20 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
