XTERM : DEVICE-STYLE

XTERM is a style.
XTERM stands for a terminal running xterm with normal font
vtsingle and bold font vtsymbold.

TPS documentation homepage


XTERM : TPS-FILE

XTERM is a file.
Defines XTERM style printing and parsing.
/home/theorem/tps/bin/xterm.fasl is part of module XWINDOWS.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage