PROOFW-ACTIVE : FLAGPROOFW-ACTIVE is a flag or parameter.
If T, active lines of the current proof are printed in the
Current Subproof window, if this window exists.
PROOFW-ACTIVE takes values of type BOOLEAN.
It belongs to subjects PRINTING OTL-VARS .
Its default value is T
Its current value is T.
TPS documentation homepage