NewcommandMappings.js 659 B

12345678910111213141516
  1. "use strict";
  2. var __importDefault = (this && this.__importDefault) || function (mod) {
  3. return (mod && mod.__esModule) ? mod : { "default": mod };
  4. };
  5. Object.defineProperty(exports, "__esModule", { value: true });
  6. var NewcommandMethods_js_1 = __importDefault(require("./NewcommandMethods.js"));
  7. var SymbolMap_js_1 = require("../SymbolMap.js");
  8. new SymbolMap_js_1.CommandMap('Newcommand-macros', {
  9. newcommand: 'NewCommand',
  10. renewcommand: 'NewCommand',
  11. newenvironment: 'NewEnvironment',
  12. renewenvironment: 'NewEnvironment',
  13. def: 'MacroDef',
  14. 'let': 'Let'
  15. }, NewcommandMethods_js_1.default);
  16. //# sourceMappingURL=NewcommandMappings.js.map