% This macro source file is from the four volume series
% "TeX in Practice" by Stephan von Bechtolsheim, published
% 1993 by Springer-Verlag, New York.
% Copyright 1993 Stephan von Bechtolsheim.
% No warranty or liability is assumed.
% This macro may be copied freely if no fees other than
% media cost or shipping charges are charged and as long
% as this copyright and the following source code itself
% is not changed. Please see the series for further information.
%
% Version: 1.0
% Date: May 1, 1993
%
%
% This source code is documented in 3.3.8.2, p. I-51.
% Original source in file "reg1.TEX", starting line 1154.
\wlog{L: "pmtime.tip" ["reg1.TEX," l. 1154, p. I-51]}%
% This file DOES belong to format "texip."
\InputD{leadingz.tip}
\newcount\Hour
\newcount\Minute
\def\PrintMilTime{% 
    \Hour = \time
    \divide\Hour by 60
    \Minute = \Hour
    \multiply\Minute by 60
    \advance\Minute by -\time
    \Minute = -\Minute
    \LeadingZ{\the\Hour}:\LeadingZ{\the\Minute}% 
}