Juergen Spitzmueller 869b84aef9 Clean up LaTeX font handling (#4999)
The LaTeX font information are now centralized and outsourced. This removes a lot of hardcoding and duplication and makes it easier to support new LaTeX fonts.
2012-08-16 13:23:39 +02:00
..
2007-12-02 22:10:26 +00:00
2012-07-13 00:52:49 +02:00
2011-04-02 11:00:19 +00:00
2012-07-06 22:34:02 +02:00
2012-08-08 10:07:31 +02:00
2012-07-14 16:05:06 +02:00
2011-02-21 19:56:43 +00:00
2012-02-28 20:34:50 +00:00