next up previous contents index
Next: Changing Windows Up: OpeningClosing, and Previous: Opening a Proof

Closing a Proof Window

To close a proof window, use EXIT PROOF.


Karla Consroe
Wed Oct 23 13:48:45 EDT 1996