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.