TPS3-SAVE : MEXPR

TPS3-SAVE is a top-level command.
Save the current TPS3 as the new TPS3 core image.
The command format for TPS3-SAVE is:

 <n>TPS3-SAVE 

TPS documentation homepage


TPS3-SAVE : TPS-FILE

TPS3-SAVE is a file.
Routines for saving core image, and list of expert users.
/home/theorem/tps/bin/tps3-save.fasl is part of module BARE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage