12 Aug
2017
12 Aug
'17
2:03 p.m.
On 08/09/2017 08:48 AM, Schmitz Thomas A. wrote:
On 8. Aug 2017, at 23:26, Pablo Rodriguez
wrote: Thomas,
\xmlprettyprint seems an easier approach.
Thank you, I did’n know about \xmlprettyprint. But I want to define my own prettyprinters, so it’s not suitable for my purpose. And it doesn’t solve the issue I was asking about.
Thomas, as you may already know, the issue is fixed with \xmlprettyprint (but not with your sample) in latest beta. Just in case it helps, Pablo -- http://www.ousia.tk