Davide P. Cervone 8f628e0590 Adjust height and depth of minus to match plus, and fix arrow rep to remove the extra when it is used as an arrow extender. Fix up some spacing and use shorthands for some font names. Resolves issue #1187.		2016-06-16 22:20:56 -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	Adjust height and depth of minus to match plus, and fix arrow rep to remove the extra when it is used as an arrow extender. Fix up some spacing and use shorthands for some font names. Resolves issue #1187.	2016-06-16 22:20:56 -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