blob: 98042556e5de9284d5f91c86f2ee22a714e4acac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
% 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}%
}
|
