Logging a Session

SetLogFile(F) : MonStgElt ->

    Overwrite: BoolElt                  Default: false

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. See also HasOutputFile.

UnsetLogFile() : ->

Stop logging Magma's output.

SetEchoInput(b) : BoolElt ->

Send input from external files to standard output if b is true. If b is false then input from external files will not appear in standard output.