[GAP Forum] Change line width when using PrintTo

Joe Bohanon jbohanon2 at gmail.com
Wed Jul 29 17:57:35 BST 2009


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



More information about the Forum mailing list