Overwrite: BoolElt                  Default: false

Procedure. Set the log file to be the file specified by the string F: all input and output will be sent to this log file as well as to the terminal. If a log file is already in use, it is closed and F is used instead. By using SetLogFile(F: Overwrite := true) the file F is emptied before input and output are written onto it.

Procedure. Stop logging Magma's output.

Procedure. Set to true or false according to whether or not input from external files should also be sent to standard output.