Davide P. Cervone 69a57f4da4 Make displaystyle and scriptlevel be forced only if they are in the list of default properties. Resolves issue #912 better than before.		2014-10-12 16:57:18 -04:00
..
optable	Change copyright and version numbers	2014-05-07 17:02:28 -04:00
jax.js	Make displaystyle and scriptlevel be forced only if they are in the list of default properties. Resolves issue #912 better than before.	2014-10-12 16:57:18 -04:00