| exports.ids = ["react-syntax-highlighter_languages_highlight_mizar"]; |
| exports.modules = { |
| |
| /***/ "./node_modules/react-syntax-highlighter/node_modules/highlight.js/lib/languages/mizar.js": |
| /*!************************************************************************************************!*\ |
| !*** ./node_modules/react-syntax-highlighter/node_modules/highlight.js/lib/languages/mizar.js ***! |
| \************************************************************************************************/ |
| /*! no static exports found */ |
| /***/ (function(module, exports) { |
| |
| /* |
| Language: Mizar |
| Description: The Mizar Language is a formal language derived from the mathematical vernacular. |
| Author: Kelley van Evert <kelleyvanevert@gmail.com> |
| Website: http://mizar.org/language/ |
| Category: scientific |
| */ |
| |
| function mizar(hljs) { |
| return { |
| 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: [ |
| hljs.COMMENT('::', '$') |
| ] |
| }; |
| } |
| |
| module.exports = mizar; |
| |
| |
| /***/ }) |
| |
| };; |
| //# sourceMappingURL=react-syntax-highlighter_languages_highlight_mizar.render-page.js.map |