![](https://secure.gravatar.com/avatar/5955e8e90611e77ccbfc7721b6112027.jpg?s=120&d=mm&r=g)
2 Aug
2017
2 Aug
'17
9:58 a.m.
On 08/02/2017 11:21 AM, Hans Hagen wrote:
On 8/1/2017 9:12 PM, Pablo Rodriguez wrote:
Many thanks for your reply, Hans.
I’m afraid this isn’t what I was looking for.
i'll make \xmlinlineprettyprinttext but there is where this madness stops
Many thanks for the implementation, Hans. Pablo -- http://www.ousia.tk