update elements and fix some bugs

lib/src/prism/components/prism-mizar.js

Index: lib/src/prism/components/prism-mizar.js
diff --git a/lib/src/prism/components/prism-mizar.js b/lib/src/prism/components/prism-mizar.js
new file mode 100644
index 0000000000000000000000000000000000000000..1c5d18b031f7d9354f0c23118bd3194c7d0c5d62
--- /dev/null
+++ b/lib/src/prism/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': /\(#|#\)|[,:;\[\](){}]/
+};