9 Aug
2017
9 Aug
'17
6:48 a.m.
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