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

[David MENTRE]

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).

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