TEXPROOF : MEXPRTEXPROOF is a top-level command.
Print the current proof into a tex file.
After leaving tps, run this .tex file through tex and print the resulting
The command format for TEXPROOF is:
<n>TEXPROOF FILENAME TIMING
The arguments have the following meaning:
FILENAME : filename
TIMING : Recording time?
TPS documentation homepage