PSO

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

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