SAVE-FILE : FLAG

SAVE-FILE is a flag or parameter.
The name of the file in which to save the core-image for TPS3.
SAVE-FILE takes values of type FILESPEC.
It belongs to subjects MAINTAIN .
Its default value is "tps3.exe"
Its current value is "/home/theorem/tps/tps3".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage