[Next][Prev] [Right] [Left] [Up] [Index] [Root]

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 ->
Set to true or false according to whether or not input from external files should also be sent to standard output.
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012