PROOFW-ALL is a flag or parameter.
If T, entire proof so far is printed in the Complete Proof
window, if this window exists.
PROOFW-ALL 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