summaryrefslogtreecommitdiffstats
path: root/public/prism/prism-mizar.js
blob: b2dde865b509a4047c2ce23c712de3b43a0d89a1 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13

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|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/,
  parameter: {
    pattern: /\$(?:10|\d)/,
    alias: 'variable',
  },
  variable: /\b\w+(?=:)/,
  number: /(?:\b|-)\d+\b/,
  operator: /\.\.\.|->|&|\.?=/,
  punctuation: /\(#|#\)|[,:;\[\](){}]/,
};
generated by cgit v1.2.3 (git 2.39.1) at 2025-11-03 22:10:21 +0000
lude\b.*/m, lookbehind: !0, alias: 'property', }, 'function-arg': { pattern: RegExp('(' + r.source + '\\s*\\(\\s*)[a-zA-Z]\\w*'), lookbehind: !0, alias: 'function', }, constraint: { pattern: /(\b(?:int|matrix|real|row_vector|vector)\s*)<[^<>]*>/, lookbehind: !0, inside: { expression: { pattern: /(=\s*)\S(?:\S|\s+(?!\s))*?(?=\s*(?:>$|,\s*\w+\s*=))/, lookbehind: !0, inside: null, }, property: /\b[a-z]\w*(?=\s*=)/i, operator: /=/, punctuation: /^<|>$|,/, }, }, keyword: [ { pattern: /\bdata(?=\s*\{)|\b(?:functions|generated|model|parameters|quantities|transformed)\b/, alias: 'program-block', }, /\b(?:array|break|cholesky_factor_corr|cholesky_factor_cov|complex|continue|corr_matrix|cov_matrix|data|else|for|if|in|increment_log_prob|int|matrix|ordered|positive_ordered|print|real|reject|return|row_vector|simplex|target|unit_vector|vector|void|while)\b/, r, ], function: /\b[a-z]\w*(?=\s*\()/i, number: /(?:\b\d+(?:_\d+)*(?:\.(?:\d+(?:_\d+)*)?)?|\B\.\d+(?:_\d+)*)(?:E[+-]?\d+(?:_\d+)*)?i?(?!\w)/i, boolean: /\b(?:false|true)\b/, operator: /<-|\.[*/]=?|\|\|?|&&|[!=<>+\-*/]=?|['^%~?:]/, punctuation: /[()\[\]{},;]/, }), (e.languages.stan.constraint.inside.expression.inside = e.languages.stan); })(Prism);
generated by cgit v1.2.3 (git 2.39.1) at 2025-11-03 22:10:21 +0000