static/highlight/es/languages/mizar.js

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