Closed GoogleCodeExporter closed 9 years ago
Partially implemented in r2307. It doesn't create .tex files directly, but
outputs
content which can then be converted to .tex as necessary.
Original comment by soundasleep
on 31 May 2010 at 1:54
In r2308, instead added a separate HTML output of all the visual elements.
Original comment by soundasleep
on 31 May 2010 at 4:18
Original issue reported on code.google.com by
soundasleep
on 31 May 2010 at 1:24