Closed GoogleCodeExporter closed 8 years ago
Original comment by kjel...@gmail.com
on 15 Jul 2012 at 8:03
Currently the exporter interprets all text as raw TeX. This is useful in some
cases, but should not be the default behavior. See also issue 2.
Original comment by kjel...@gmail.com
on 15 Jul 2012 at 8:13
Fixed in revision 097126e42d4e
Original comment by kjel...@gmail.com
on 15 Jul 2012 at 9:40
Original issue reported on code.google.com by
e.blechs...@gmail.com
on 20 Oct 2011 at 11:55