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.
In this form
LogTo stops logging again.
Previous Up Top Next