Davide P. Cervone c16952b51d Fix offsets for greek letters to get capitals and lower case in the right place (resolves Fred's comment in issue #222)		2012-04-30 10:33:44 -04:00
..
STIX	Fix offsets for greek letters to get capitals and lower case in the right place (resolves Fred's comment in issue #222)	2012-04-30 10:33:44 -04:00
TeX	Repack all javascript files (to update the copyright notice) and recombine (make sure all combined files are current)	2012-02-24 17:22:48 -05:00