Wof
Direct standard output and proofs output to a file
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).
For a general discussion about redirection of output to a file, see output-to-file.
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.
