| Name | Size | Actions |
|---|---|---|
| environments | - | |
| fonts | - | |
| functions | - | |
| metrics | - | |
| styles | - | |
| Lexer.js | 5086 bytes | Edit | Rename | Delete |
| MacroExpander.js | 16446 bytes | Edit | Rename | Delete |
| Namespace.js | 4553 bytes | Edit | Rename | Delete |
| Options.js | 9399 bytes | Edit | Rename | Delete |
| ParseError.js | 2865 bytes | Edit | Rename | Delete |
| Parser.js | 38078 bytes | Edit | Rename | Delete |
| Settings.js | 12908 bytes | Edit | Rename | Delete |
| SourceLocation.js | 1436 bytes | Edit | Rename | Delete |
| Style.js | 3313 bytes | Edit | Rename | Delete |
| Token.js | 1531 bytes | Edit | Rename | Delete |
| buildCommon.js | 26195 bytes | Edit | Rename | Delete |
| buildHTML.js | 14358 bytes | Edit | Rename | Delete |
| buildMathML.js | 11760 bytes | Edit | Rename | Delete |
| buildTree.js | 2095 bytes | Edit | Rename | Delete |
| defineEnvironment.js | 3558 bytes | Edit | Rename | Delete |
| defineFunction.js | 7781 bytes | Edit | Rename | Delete |
| defineMacro.js | 3522 bytes | Edit | Rename | Delete |
| delimiter.js | 30014 bytes | Edit | Rename | Delete |
| domTree.js | 17243 bytes | Edit | Rename | Delete |
| environments.js | 215 bytes | Edit | Rename | Delete |
| fontMetrics.js | 8951 bytes | Edit | Rename | Delete |
| fontMetricsData.js | 95879 bytes | Edit | Rename | Delete |
| functions.js | 1674 bytes | Edit | Rename | Delete |
| macros.js | 41335 bytes | Edit | Rename | Delete |
| mathMLTree.js | 8135 bytes | Edit | Rename | Delete |
| parseNode.js | 13227 bytes | Edit | Rename | Delete |
| parseTree.js | 1556 bytes | Edit | Rename | Delete |
| spacingData.js | 2361 bytes | Edit | Rename | Delete |
| stretchy.js | 14695 bytes | Edit | Rename | Delete |
| svgGeometry.js | 28642 bytes | Edit | Rename | Delete |
| symbols.js | 45385 bytes | Edit | Rename | Delete |
| tree.js | 2252 bytes | Edit | Rename | Delete |
| types.js | 1468 bytes | Edit | Rename | Delete |
| unicodeAccents.js | 747 bytes | Edit | Rename | Delete |
| unicodeScripts.js | 3973 bytes | Edit | Rename | Delete |
| unicodeSupOrSub.js | 2138 bytes | Edit | Rename | Delete |
| unicodeSymbols.js | 1259 bytes | Edit | Rename | Delete |
| units.js | 4115 bytes | Edit | Rename | Delete |
| utils.js | 3724 bytes | Edit | Rename | Delete |
| wide-character.js | 4801 bytes | Edit | Rename | Delete |