SCORE-FILE : FLAG

SCORE-FILE is a flag or parameter.
The file recording completed exercises.
SCORE-FILE takes values of type FILESPEC.
It belongs to subjects EVENTS .
Its default value is "etps3.scores"
Its current value is "etps3.scores".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage