Table: Mouse Commands for Proof Windows
The mouse commands are shown in Table 
The mouse can be used for shifting a proof window about a proof,
jumping between different windows, and selecting the main goal, rules,
and sequents displayed in a proof window.