PRINT-COMMENTS : FLAG

PRINT-COMMENTS is a flag or parameter.
If T, print the comments attached to lines
and proofs. See LINE-COMMENT and PROOF-COMMENT.
PRINT-COMMENTS takes values of type BOOLEAN.
It belongs to subjects OUTLINE PRINTING .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage