DEV-STYLE : ARGTYPE

DEV-STYLE is an argument type.
This specifies the style for the output file.
Currently any of:
Review: GENERIC
Concept: CONCEPT CONCEPT-S
Printing: GENERIC-STRING SCRIBE
SAIL characters: SAIL
TeX: TEX TEX-1
X Windows: XTERM

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage