SHOW-TIMING is a library command.
Display the timing information of a gwff in the library.
NOTE: Will only display timing information that has been recorded
in standard DATEREC format.
If you opt for output to go to a file as well as to the screen,
the format of the file will be SCRIBE or TEX if this is the current
value of the STYLE flag, and GENERIC otherwise.
The command format for SHOW-TIMING is:


TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage