WOF.html -- ACL2 Version 6.3

## WOF

direct standard output and proofs output to a file

    Major Section:  OTHER

    Example Form:
    (wof "tmp" (pso)) ; same as (psof "tmp")

    General Form:
    (wof filename form)

where `filename` is a writable filename and `form` is any form that evaluates to an error triple (see programming-with-state), that is, a multiple value of the form `(mv erp val state)`. All output to channels `standard-co` and `proofs-co` will be directed to the indicated file. It is acceptable to replace `filename` with `(quote filename)`.

Note that so-called comment-window output (see cw and see observation-cw) is not redirected by `wof` to a file, nor is printing from a wormhole.