Davide P. Cervone cae4834aa6 Convert <mi> to <mo> if it is used with <munderover> and needs to have movablelimits=true (since only <mo> can have this attribute)		2012-01-11 14:33:52 -05:00
..
config.js	Merge branch 'new-features' into merge-features (in preparation for merging with v2.0-candidate), and fix hover zoom trigger when discoverability is disabled	2011-09-11 12:42:27 -04:00
jax.js	Convert <mi> to <mo> if it is used with <munderover> and needs to have movablelimits=true (since only <mo> can have this attribute)	2012-01-11 14:33:52 -05:00