It was a bug in the calculation of the time zone offset. It works it out by taking the difference between UTC and local time that applied/applies at the particular time but it failed to take account of a change of day. Now fixed in SVN. Since for half the year UTC and local time are the same here it hadn't shown up before. Thanks for reporting it. Regards, David
Michael Norrish wrote:
On Linux:
Linux michaeln-desktop 2.6.31-22-generic #60-Ubuntu SMP Thu May 27 00:22:23 UTC 2010 i686 GNU/Linux
michaeln(~) date -R Wed, 09 Jun 2010 09:39:11 +1000 michaeln(~) poly Poly/ML 5.3 Release
Date.toString (Date.fromTimeLocal (Time.now()));
val it = "Tue Jun 08 09:39:38 2010" : string
Date.toString (Date.fromTimeUniv (Time.now()));
val it = "Tue Jun 08 23:41:21 2010" : string