OPEN-TRACE-FILE.html -- ACL2 Version 6.3

## OPEN-TRACE-FILE

redirect trace output to a file

    Major Section:  TRACE

    Example:
    (open-trace-file "foo") ; trace output will go to file foo

    General Form:
    (open-trace-file filename) ; trace output will go to file filename

Output from `trace$` normally goes to the screen, i.e., `standard-co`. But it can be redirected to a file as shown above. See close-trace-file for how to send trace output back to the screen.