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