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. However, proof-tree output will be suppressed; use
:pso! if you want that output to be printed as well.