Davide P. Cervone d26341c5c3 Merge pull request #1533 from dpvc/issue1532 ... Use a new approach to aligning labels with their table rows. #1532		2016-07-23 15:47:56 -04:00
..
autoload	Merge pull request #1533 from dpvc/issue1532	2016-07-23 15:47:56 -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 #1533 from dpvc/issue1532	2016-07-23 15:47:56 -04:00