TEXPROOF : MEXPR

TEXPROOF 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
file.
The command format for TEXPROOF is:

 <n>TEXPROOF  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