SCRIBEPROOF : MEXPRSCRIBEPROOF 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
The command format for SCRIBEPROOF is:
<n>SCRIBEPROOF FILENAME TIMING
The arguments have the following meaning:
FILENAME : Filename
TIMING : Recording time?
TPS documentation homepage