Psof
Show the most recently saved output
For a similar utility, see pso. But unlike :pso,
:psof takes a filename argument and writes output to that file, instead
of printing to the terminal. For large proofs, :psof may
complete much more quickly than :pso.
The first line of output from :psof directs the Emacs editor to use
auto-revert mode. You can change the frequency of auto-reverting the buffer
connected to a file by evaluating a suitable command in Emacs. For example,
the command (setq auto-revert-interval .1) arranges for auto-revert mode
to update as needed every 1/10 of a second.
Psof takes the same optional arguments as pso; see pso,
and also see pso! and psog.
