Using Box is not really useful, since xml-doc already contains all the required layout. A hand-written pretty-printer (directly to text) might perform much better.

Submitted on 25 September 2004 at 00:24

On 9 January 2013 at 16:55 Eelco Visser removed tag 0.22

On 9 January 2013 at 16:55 Eelco Visser tagged interesting

Log in to post comments