site/node_modules/mathjax-full/ts/input/tex/bussproofs/BussproofsConfiguration.ts

50 lines
1.4 KiB
TypeScript
Raw Permalink Normal View History

2024-10-14 06:09:33 +00:00
/*************************************************************
*
* Copyright (c) 2018-2022 The MathJax Consortium
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/**
* @fileoverview Configuration file for the Bussproofs package.
*
* @author v.sorge@mathjax.org (Volker Sorge)
*/
import {Configuration} from '../Configuration.js';
import {ProofTreeItem} from './BussproofsItems.js';
import {saveDocument, clearDocument, balanceRules, makeBsprAttributes} from './BussproofsUtil.js';
import './BussproofsMappings.js';
export const BussproofsConfiguration = Configuration.create(
'bussproofs', {
handler: {
macro: ['Bussproofs-macros'],
environment: ['Bussproofs-environments']
},
items: {
[ProofTreeItem.prototype.kind]: ProofTreeItem,
},
preprocessors: [
[saveDocument, 1]
],
postprocessors: [
[clearDocument, 3],
[makeBsprAttributes, 2],
[balanceRules, 1]
]
}
);