
5 Aug
2014
5 Aug
'14
4:27 p.m.
Hi Michael
On 5 August 2014 20:49, Michael Lazarev
Do I get it right that Text.PrettyPrint was not intended for such things?
Yes - the common pretty printers do not handle column printing, generally they are for laying out text with nesting - typically program code. Maybe someone has written a column-oriented pretty printer, it is not so hard - I've written "internal" ones a few times, but never polished one up enough to publish.