PSO!

show the most recently saved output, including proof-tree output
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.