12345678910111213141516 |
- "use strict";
- var __importDefault = (this && this.__importDefault) || function (mod) {
- return (mod && mod.__esModule) ? mod : { "default": mod };
- };
- Object.defineProperty(exports, "__esModule", { value: true });
- var NewcommandMethods_js_1 = __importDefault(require("./NewcommandMethods.js"));
- var SymbolMap_js_1 = require("../SymbolMap.js");
- new SymbolMap_js_1.CommandMap('Newcommand-macros', {
- newcommand: 'NewCommand',
- renewcommand: 'NewCommand',
- newenvironment: 'NewEnvironment',
- renewenvironment: 'NewEnvironment',
- def: 'MacroDef',
- 'let': 'Let'
- }, NewcommandMethods_js_1.default);
- //# sourceMappingURL=NewcommandMappings.js.map
|