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.
V2.28, 13 July 2023