Davide P. Cervone 4238dc5734 Don't do the scriptlevel adjustment, as per discussion on w3c math list.		2014-10-12 10:43:49 -04:00
..
optable	Change copyright and version numbers	2014-05-07 17:02:28 -04:00
jax.js	Don't do the scriptlevel adjustment, as per discussion on w3c math list.	2014-10-12 10:43:49 -04:00