MACHINE-INSTANCE : FLAG

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 "gtps.math.cmu.edu".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage