Davide P. Cervone 2ace71f35e Merge with issue93 (adds extensible arrows), and resolve conflicts		2011-09-11 09:47:41 -04:00
..
autoload	Repack, recombine, completes merge of htmlcss-fixes	2011-05-18 11:11:28 -04:00
fonts	Add stretchy equals (needed for extpfeil)	2011-09-10 19:16:27 -04:00
config.js	Don't allow Safari/Windows to use STIX fonts, since it can't access Plane1 (resolves issue #94)	2011-07-26 21:24:01 -04:00
imageFonts.js	Change versions to 1.1 and update copyright dates	2011-03-03 16:45:48 -05:00
jax.js	Merge with issue93 (adds extensible arrows), and resolve conflicts	2011-09-11 09:47:41 -04:00