PROOFW-ALL-WIDTH : FLAG

PROOFW-ALL-WIDTH is a flag or parameter.
Controls the initial width of the Complete Proof window.
PROOFW-ALL-WIDTH takes values of type POSINTEGER.
It belongs to subjects PRINTING OTL-VARS .
Its default value is 80
Its current value is 80.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage