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.

Also see psog, for printing saved output in gag-mode.