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.