Davide P. Cervone 1a895e2a7c Update version numbers, repack, and recombine		2014-06-12 05:53:13 -04:00
..
autoload	Update version numbers, repack, and recombine	2014-06-12 05:53:13 -04:00
fonts	Update version numbers, repack, and recombine	2014-06-12 05:53:13 -04:00
config.js	Update version numbers, repack, and recombine	2014-06-12 05:53:13 -04:00
jax.js	Fix several problems with stretchy delimiters in SVG output (minsize didn't always get processed, stretched characters weren't marked as such).	2014-05-30 12:17:09 -04:00