Davide P. Cervone 19b813a4a7 Make Volker's suggested change. Issue #1452.		2016-05-11 20:48:29 -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	Update version numbers of changed files	2016-02-07 15:34:12 -05:00
jax	Make Volker's suggested change. Issue #1452.	2016-05-11 20:48:29 -04:00
localization	Update version numbers to 2.6.0	2015-12-29 09:36:52 -05:00
MathJax.js	Don't die if script has been removed from document	2016-02-22 11:42:04 -05:00