From f797bb14f7413df2abac6326c6df769004e50aa1 Mon Sep 17 00:00:00 2001 From: David Luevano Alvarado Date: Mon, 1 May 2023 09:35:25 -0600 Subject: small bugfix, add toc settings, update example site and delete unnecessary static assets --- pyssg.xyz/live/static/hl/languages/mizar.min.js | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 pyssg.xyz/live/static/hl/languages/mizar.min.js (limited to 'pyssg.xyz/live/static/hl/languages/mizar.min.js') diff --git a/pyssg.xyz/live/static/hl/languages/mizar.min.js b/pyssg.xyz/live/static/hl/languages/mizar.min.js deleted file mode 100644 index 3ec1778..0000000 --- a/pyssg.xyz/live/static/hl/languages/mizar.min.js +++ /dev/null @@ -1,3 +0,0 @@ -hljs.registerLanguage("mizar",(()=>{"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("::","$")]})})()); \ No newline at end of file -- cgit v1.2.3-54-g00ecf