Davide P. Cervone 1d9ba6992a Add alias for U+2206 to U+0394, and remove incorrect data from SVG files. Apparently the batik conversion added these somehow, so that should still be fixed. Resolves issue #1418.		2016-06-16 11:30:58 -04:00
..
config	Set some menuSettings to null so that the defaults work properly, but they still appear in the list so people know about them.	2016-02-07 14:11:52 -05:00
extensions	Use U+007C and U+2016 for delimiters rather than U+2223 and U+2225. Resolves issue #1175.	2016-06-16 10:01:13 -04:00
jax	Add alias for U+2206 to U+0394, and remove incorrect data from SVG files. Apparently the batik conversion added these somehow, so that should still be fixed. Resolves issue #1418.	2016-06-16 11:30:58 -04:00
localization	Update version numbers to 2.6.0	2015-12-29 09:36:52 -05:00
MathJax.js	Fix spelling of 'protocol'. Issue #1519.	2016-06-15 15:45:01 -04:00