-- last edited by: L. Stewart, December 12, 1983 5:21 pm
name
Statistics:
description
Toggle statistics printing. This command (when ON) prints running time, number of words allocated, and page faults for each command run in that CommandTool.
examples
% Statistics
% Date
November 1, 1983 6:31 pm
{00:00:00.07 seconds, 26 words, 2 page faults}
% Statistics
% Date
November 1, 1983 6:31 pm
%
warnings
Statistics do not yet behave sensibly with commands started with & or pipes.
stop/undo
Probably too fast to stop.
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