PRINTEDTFILE : FLAG

PRINTEDTFILE is a flag or parameter.
The name of the file in which wffs are recorded.
PRINTEDTFILE takes values of type FILESPEC.
It belongs to subjects PRINTING EDITOR .
Its default value is "edt.mss"
Its current value is "edt.mss".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage