PROOFW-ACTIVE+NOS is a flag or parameter.
If T, active lines of the current proof are printed in the
Current Subproof & Line Numbers window, if this window exists.
PROOFW-ACTIVE+NOS 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

© 1988-99, Carnegie Mellon University.

TPS homepage