-- TimeDoc.tioga
-- last edited by: L. Stewart, December 12, 1983 5:21 pm
name  Time:
<<syntax>>
<<Time command-line>>
<<description>>
<<Print the execution time of a command.  Time uses CommandTool.DoCommand to "run" its arguments as a command line, then prints how 
long it took.>>
<<examples>>
<<% time Date
  November 8, 1983 4:33 pm
Running time: 00:00:00.05
% 
>>
<<warnings>>
<<None.>>
<<stop/undo >>
<<Click the STOP! button.>>
<<implementation >>
<<InitialCommandsImpl.mesa in CommandTool.df>>
<<contact>>
<<L. C. Stewart <Stewart.pa>>>
<<keyword hints>>
<<
help button info man>>
<<keywords>>
<<
to be supplied by the Index Czar>>