On Mon, Aug 04, 2003 at 09:53:24AM +0200, Martin Schroeder wrote:
On 2003-08-02 23:30:00 +0200, Hans Hagen wrote:
since we're patching some time thingies, how about:
\pdfhours \pdfminutes \pdfseconds \pdfmilliseconds
And some kind of timezone information, for example the difference in minutes to GMT.
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. :-(
Similar problem with \(pdf)shellescape*. We can wait many
years for the best names and solutions or do it know in
the \pdf-namespace.
Yours sincerely
Heiko