PRINTVPDFLAG : FLAG

PRINTVPDFLAG is a flag or parameter.
If T, vertical path diagrams are written into the VPD-FILENAME
whenever wffs are written into the PRINTEDTFILE. In particular PRINTEDTFLAG
must be T, for the automatic writing to take place.
PRINTVPDFLAG takes values of type BOOLEAN.
It belongs to subjects EDITOR JFORMS .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage