Davide P. Cervone 4120eb146c Merge pull request #1529 from dpvc/font-fixes ... Font fixes		2016-07-08 08:54:28 -04:00
..
autoload	Merge pull request #1512 from dpvc/node241	2016-07-06 14:01:23 -04:00
fonts/TeX	Adjust height and depth of minus to match plus, and fix arrow rep to remove the extra when it is used as an arrow extender. Fix up some spacing and use shorthands for some font names. Resolves issue #1187.	2016-06-16 22:20:56 -04:00
config.js	Update version numbers of changed files	2016-02-07 15:34:12 -05:00
jax.js	Merge pull request #1510 from dpvc/issue1393	2016-07-06 13:52:22 -04:00