Davide P. Cervone 6b06f0ac16 Move annotation-xml to an autolaoded extension, and properly handle it in HTML-CSS		2011-05-15 08:44:12 -04:00
..
autoload	Move annotation-xml to an autolaoded extension, and properly handle it in HTML-CSS	2011-05-15 08:44:12 -04:00
fonts	Pack the changes to the TeX fonts directory	2011-02-14 19:58:41 -05:00
config.js	Change versions to 1.1 and update copyright dates	2011-03-03 16:45:48 -05:00
imageFonts.js	Change versions to 1.1 and update copyright dates	2011-03-03 16:45:48 -05:00
jax.js	Move annotation-xml to an autolaoded extension, and properly handle it in HTML-CSS	2011-05-15 08:44:12 -04:00