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 -- Michael _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
