static/highlight/languages/mizar.js

   1 /*! `mizar` grammar compiled for Highlight.js 11.11.1 */
   2   (function(){
   3     var hljsGrammar = (function () {
   4   'use strict';
   5
   6   /*
   7   Language: Mizar
   8   Description: The Mizar Language is a formal language derived from the mathematical vernacular.
   9   Author: Kelley van Evert <kelleyvanevert@gmail.com>
  10   Website: http://mizar.org/language/
  11   Category: scientific
  12   */
  13
  14   function mizar(hljs) {
  15     return {
  16       name: 'Mizar',
  17       keywords:
  18         'environ vocabularies notations constructors definitions '
  19         + 'registrations theorems schemes requirements begin end definition '
  20         + 'registration cluster existence pred func defpred deffunc theorem '
  21         + 'proof let take assume then thus hence ex for st holds consider '
  22         + 'reconsider such that and in provided of as from be being by means '
  23         + 'equals implies iff redefine define now not or attr is mode '
  24         + 'suppose per cases set thesis contradiction scheme reserve struct '
  25         + 'correctness compatibility coherence symmetry assymetry '
  26         + 'reflexivity irreflexivity connectedness uniqueness commutativity '
  27         + 'idempotence involutiveness projectivity',
  28       contains: [ hljs.COMMENT('::', '$') ]
  29     };
  30   }
  31
  32   return mizar;
  33
  34 })();
  35
  36     hljs.registerLanguage('mizar', hljsGrammar);
  37   })();