| .. |
|
buildCommon.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
buildHTML.js
|
Fix some indentation and comma inconsistencies
|
2017-01-11 13:30:11 +01:00 |
|
buildMathML.js
|
Fix some indentation and comma inconsistencies
|
2017-01-11 13:30:11 +01:00 |
|
buildTree.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
delimiter.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
domTree.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
environments.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
fontMetrics.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
fontMetricsData.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
functions.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
Lexer.js
|
Add some more symbols (#502)
|
2016-07-24 19:56:31 -07:00 |
|
MacroExpander.js
|
Allow macro definitions in settings (#493)
|
2016-07-08 12:24:31 -07:00 |
|
mathMLTree.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
Options.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
parseData.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
ParseError.js
|
Allow macro definitions in settings (#493)
|
2016-07-08 12:24:31 -07:00 |
|
Parser.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
parseTree.js
|
Invalid input error message (#540)
|
2016-09-23 14:45:33 +02:00 |
|
Settings.js
|
Allow macro definitions in settings (#493)
|
2016-07-08 12:24:31 -07:00 |
|
Style.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
symbols.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
unicodeRegexes.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
|
utils.js
|
Revert "Remove trailing commas for IE 9 compatibility"
|
2017-01-11 13:26:00 +01:00 |
