PRINT-LIT-NAME : FLAG

PRINT-LIT-NAME is a flag or parameter.
If the value of this flag is true, labels (instead
of wffs associated with literal, or neg-literal) are printed inside
the editor.
PRINT-LIT-NAME takes values of type BOOLEAN.
It belongs to subjects JFORMS .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage