From cc97a4dd2a967e1c2273bd5f4c5f49a5bf2e2585 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Wed, 27 Mar 2019 21:01:33 +0100 Subject: remove node_modules --- node_modules/highlight.js/lib/languages/mizar.js | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 node_modules/highlight.js/lib/languages/mizar.js (limited to 'node_modules/highlight.js/lib/languages/mizar.js') diff --git a/node_modules/highlight.js/lib/languages/mizar.js b/node_modules/highlight.js/lib/languages/mizar.js deleted file mode 100644 index 467f2f2bc..000000000 --- a/node_modules/highlight.js/lib/languages/mizar.js +++ /dev/null @@ -1,18 +0,0 @@ -module.exports = function(hljs) { - return { - 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: [ - hljs.COMMENT('::', '$') - ] - }; -}; \ No newline at end of file -- cgit v1.2.3