> < ^ Date: Mon, 24 Mar 1997 13:17:21 +0100
> ^ From: Gustavo Fernandez Alcober <mtpfealg@lg.ehu.es >
> ^ Subject: line length

Dear Gap-Forum

I want to make GAP print output to a file with more than 80 characters
per line (I want to print this file with a small size font). Is there
any way of doing this - maybe some variable controlling this feature -
without executing GAP with the option -x?
(I just want to change the length of the line in the output file, not on
my terminal.)

Thank you,

Gustavo Fernandez Alcober

> < [top]