SLIDEPROOF : MEXPR

SLIDEPROOF is a top-level command.
Print the current proof into a MSS file. Use this command to make
slides. After leaving TPS, run this .MSS file through Scribe and print the
resulting file.
The command format for SLIDEPROOF is:

 <n>SLIDEPROOF  FILENAME 
"FILESPEC"


The arguments have the following meaning:
FILENAME : Filename

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage