4 Aug
2003
4 Aug
'03
9:53 a.m.
On 2003-08-02 23:30:00 +0200, Hans Hagen wrote:
since we're patching some time thingies, how about:
\pdfhours \pdfminutes \pdfseconds \pdfmilliseconds
currently the \time has a one minute precission, which in these days of fast machines is too low a resolution
Nice to have, but in the next version. 1.11a is _finished_. :-) This also falls into the category of non-pdf extensions, which would best be done with eTeX. If eTeX would evolve, that is. :-( Best regards Martin -- Martin Schröder, MS@ArtCom-GmbH.DE ArtCom GmbH, Lise-Meitner-Str 5, 28359 Bremen, Germany Voice +49 421 20419-44 / Fax +49 421 20419-10