% 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}% }