BEGIN-PRFW : MEXPRBEGIN-PRFW is a top-level command.
Begin proofwindow top level.
Open Current Subproof, Current Subproof & Line Numbers, and Complete Proof
windows with text size determined by the value of the flag CHARSIZE.
Printing in various windows can be modified by changing the flags
PROOFW-ACTIVE, PROOFW-ALL, PROOFW-ACTIVE+NOS, BLANK-LINES-INSERTED
The initial size of the windows can be modified with the flags
PROOFW-ALL-HEIGHT, PROOFW-ALL-WIDTH, PROOFW-ACTIVE-HEIGHT,
PROOFW-ACTIVE-WIDTH, PROOFW-ACTIVE+NOS-HEIGHT, and
PROOFW-ACTIVE+NOS-WIDTH; after the windows are open, they can simply
be resized as normal. PSTATUS will update the proofwindows manually
Close the proofwindows with END-PRFW.
The command format for BEGIN-PRFW is:
TPS documentation homepage