LogTo( filename )
LogTo
causes the subsequent interaction to be logged to the file with
the name filename, i.e., everything you see on your terminal will also
appear in this file. This file must of course be writable by GAP,
otherwise an error is signalled. Note that LogTo
will overwrite the
previous contents of this file if it already existed.
LogTo()
In this form LogTo
stops logging again.
GAP 3.4.4