SCRIBEPROOF : MEXPR

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

 <n>SCRIBEPROOF  FILENAME  TIMING 
"FILESPEC" "YESNO"


The arguments have the following meaning:
FILENAME : Filename
TIMING : Recording time?

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage