Davide P. Cervone c03acb6d7d Fix problem where automatic numbering affects \binom and friends. Resolves issue #1194		2015-07-08 17:05:57 -04:00
..
config.js	Update version numbers.	2015-04-21 11:49:54 -04:00
jax.js	Fix problem where automatic numbering affects \binom and friends. Resolves issue #1194	2015-07-08 17:05:57 -04:00