Major Section: OTHER
:pso in order to print output that was generated
in an environment where output was being saved; see set-saved-output for
details. However, proof-tree output will be suppressed; use
pso! if you want that output to be printed as well.
Also see psog, for printing saved output in gag-mode.