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.
 
 