mxDateTime format string

[Martin Christensen]

Howdy!

I have about 35700 time strings that look not entirely unlike 'Sun Jul
16, 2000 8:23am', and I need to convert them to ISO standard time. The
day of the week is just in the way, and can be easily removed, but
what the rest is concerned, is there a time format string that matches
this format for easy conversion? It can, of course, be done manually,
but I'm sure that mxDateTime could do it faster for me. Apropos les
bootes, http://www.cl.cam.ac.uk/~mgk25/iso-time.html has this to say
about the am/pm system, for your amusement:

        Please consider the 12h time to be a relic from the dark ages
        when Roman numerals were used, the number zero had not yet
        been invented and analog clocks were the only known form of
        displaying a time. Please avoid using it today, especially in
        technical applications!

Martin

-- 
GPG public key: http://home1.stofanet.dk/factotum/gpgkey.txt