From 1b2b7c3eb939724696894f31ff27db97b0cac84c Mon Sep 17 00:00:00 2001 From: Andreas Widen Date: Sat, 25 Nov 2023 17:21:37 +0100 Subject: Initial commit. Signed-off-by: Andreas Widen --- static/base/highlight/es/languages/mizar.min.js | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 static/base/highlight/es/languages/mizar.min.js (limited to 'static/base/highlight/es/languages/mizar.min.js') diff --git a/static/base/highlight/es/languages/mizar.min.js b/static/base/highlight/es/languages/mizar.min.js new file mode 100644 index 0000000..7f0a5db --- /dev/null +++ b/static/base/highlight/es/languages/mizar.min.js @@ -0,0 +1,4 @@ +/*! `mizar` grammar compiled for Highlight.js 11.3.1 */ +var hljsGrammar=(()=>{"use strict";return e=>({name:"Mizar", +keywords:"environ vocabularies notations constructors definitions registrations theorems schemes requirements begin end definition registration cluster existence pred func defpred deffunc theorem proof let take assume then thus hence ex for st holds consider reconsider such that and in provided of as from be being by means equals implies iff redefine define now not or attr is mode suppose per cases set thesis contradiction scheme reserve struct correctness compatibility coherence symmetry assymetry reflexivity irreflexivity connectedness uniqueness commutativity idempotence involutiveness projectivity", +contains:[e.COMMENT("::","$")]})})();export default hljsGrammar; \ No newline at end of file -- cgit v1.2.3-54-g00ecf