[GAP Forum] Change line width when using PrintTo

[Joe Bohanon]

Is there any way to extend the length of a line when I print to a file 
using PrintTo (or AppendTo)?  I'm using GAP to auto-generate some html 
pages (I know, it's a non-standard use) and the backslash characters 
that come up for line breaks mess with the output.  It's not that hard 
to fix, but it would save time if there was a way to change it.

Thanks
Joe
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum