Jan-Åke,
a) render.ml isn't used anymore now that WikiTeX
exists
Did you do any benchmarks? Because that's what I thought we'd do
before rolling it live on wikipedia ;-)
How much faster is the dvipng approach?
BR,
--
Domas Mituzas --
http://dammit.lt/ -- [[user:midom]]