At 20:48 09/08/2003 +0200, Heiko Oberdiek wrote:
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.
indeed, apart from endless discussions -) Hans ------------------------------------------------------------------------- Hans Hagen | PRAGMA ADE | pragma@wxs.nl Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: +31 (0)38 477 53 69 | fax: +31 (0)38 477 53 74 | www.pragma-ade.com ------------------------------------------------------------------------- information: http://www.pragma-ade.com/roadmap.pdf documentation: http://www.pragma-ade.com/showcase.pdf -------------------------------------------------------------------------