Davide P. Cervone fd74ad5dd9 Don't reuse an element with an ID with the wrong parent (resolves issue #240)		2012-05-18 21:41:40 -04:00
..
config	Turn off positionToHash for now (until I can straighten it out	2012-02-27 20:25:31 -05:00
extensions	Fix a typo in the environments value that is stored in the initial stack	2012-05-18 21:07:42 -04:00
jax	Don't reuse an element with an ID with the wrong parent (resolves issue #240)	2012-05-18 21:41:40 -04:00
MathJax.js	Remove unused argument from onload handler	2012-05-18 21:09:27 -04:00