Output
The Output menu is used to view, and then to print or save, output from any one of ProVal’s main execution tasks (listed below). In particular, this menu can be used to compare the results of several saved runs, to simplify analysis.
Alternatively, you can view output by using the Output pane on the right-hand side of the screen.