diff options
author | Florian Dold <florian.dold@gmail.com> | 2017-05-24 15:10:37 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2017-05-24 15:11:17 +0200 |
commit | 7a3df06eb573d36142bd1a8e03c5ce8752d300b3 (patch) | |
tree | 70bfaea8884c374876f607774850a3a51c0cb381 /node_modules/highlight.js/lib/languages/mizar.js | |
parent | aca1143cb9eed16cf37f04e475e4257418dd18ac (diff) | |
download | wallet-core-7a3df06eb573d36142bd1a8e03c5ce8752d300b3.tar.xz |
fix build issues and add typedoc
Diffstat (limited to 'node_modules/highlight.js/lib/languages/mizar.js')
-rw-r--r-- | node_modules/highlight.js/lib/languages/mizar.js | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/node_modules/highlight.js/lib/languages/mizar.js b/node_modules/highlight.js/lib/languages/mizar.js new file mode 100644 index 000000000..467f2f2bc --- /dev/null +++ b/node_modules/highlight.js/lib/languages/mizar.js @@ -0,0 +1,18 @@ +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 |