[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Fwd: Re: [Demexp-dev] Which timestamp at each modification?]

From: David MENTRE
Subject: Re: [Fwd: Re: [Demexp-dev] Which timestamp at each modification?]
Date: Fri, 10 Jun 2005 08:20:18 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

luna <address@hidden> writes:

> This link [2] describe well the difference between Epoch, UTC and TAI.
> But the difference is perhaps not relevant for demexp.
> It's easier to rely on UNIX sub-system.

Thanks for the pointer. In fact, after reading it, I suppose the number
of seconds given by OCaml time should not take into account leap
seconds, as given by unix time(2).

pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

reply via email to

[Prev in Thread] Current Thread [Next in Thread]