Davide P. Cervone 4d06c1026e Make global scaling factor available in the HTML-CSS object, and use it in annotation-xml to match the scaling properly		2011-05-18 08:39:55 -04:00
..
autoload	Make global scaling factor available in the HTML-CSS object, and use it in annotation-xml to match the scaling properly	2011-05-18 08:39:55 -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	Make global scaling factor available in the HTML-CSS object, and use it in annotation-xml to match the scaling properly	2011-05-18 08:39:55 -04:00