MACHINE-INSTANCE is a flag or parameter.
Tells what particular machine we are running on. Initialized
when TPS starts up. Can't be changed.
MACHINE-INSTANCE takes values of type STRING.
It belongs to subjects SYSTEM .
Its default value is ""
Its current value is "".

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage