REMARK-PRINTEDTFILE : WFFOP

REMARK-PRINTEDTFILE is a wff operation.
Write a remark into the PRINTEDTFILE.
 
The calling scheme for REMARK-PRINTEDTFILE is:

(REMARK-PRINTEDTFILE RM)
"STRING"


The result is of type NIL.

The arguments have the following meaning:
RM : Remark

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage