STR-178: Improve performance of pp-xml-doc
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
Issue Log
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