[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