Enrico Forestieri dd09a5cabc Use the draft option for microtype
Instead of redefining \usepackage for avoiding the microtype package
when generating previews in dvi mode, the draft option can be used
for disabling it. This also allows to somewhat simplify the
fix_latex_file function.
2015-06-20 21:58:19 +02:00
..
2007-12-02 22:10:26 +00:00
2015-06-19 10:11:17 +02:00
2015-05-28 13:14:23 +02:00
2011-04-02 11:00:19 +00:00
2011-02-21 19:56:43 +00:00
2015-06-11 17:41:09 +02:00
2015-02-24 07:58:40 +01:00
2015-06-14 14:16:49 +02:00