SAVE-WORK : MEXPR

SAVE-WORK is a top-level command.
Start saving commands in the specified file. These commands can be
executed subsequently by using EXECUTE-FILE or RESTORE-WORK. If you are
creating a work file for a demonstration, and need it to pause at certain
points as it is reloaded by TPS, then see the help message for EXECUTE-FILE
for more information on how to do this.
The command format for SAVE-WORK is:

 <n>SAVE-WORK  SAVEFILE 
"FILESPEC"


The arguments have the following meaning:
SAVEFILE : SAVE-WORK file

TPS documentation homepage


SAVE-WORK : TPS-FILE

SAVE-WORK is a file.
Contains commands for saving and restoring work.
/home/theorem/tps/bin/save-work.fasl is part of module SAVE-TPS-WORK.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage