zorkow 94b0d7d1ee Merge branch 'develop' into integrate_keyboard_events ... Conflicts: unpacked/jax/output/CommonHTML/jax.js		2015-09-01 18:30:46 +01:00
..
autoload	Convert use of custom tags to span-with-class	2015-08-29 08:24:44 -04:00
fonts/TeX	Handle centerline for stretchy characters, and add centerline data to font files.	2015-08-10 19:40:30 -04:00
config.js	Update HTML-CSS fonts to be usable by CommonHTML, and remove the CommonHTML fonts. Update @font-face to include the new formats.	2015-04-17 16:01:57 -04:00
jax.js	Merge branch 'develop' into integrate_keyboard_events	2015-09-01 18:30:46 +01:00