Time in msecs

Torsten Anders t.anders at nici.kun.nl
Fri Feb 15 15:05:44 CET 2002


Hi,

is there a way to measure time in milliseconds in Oz. OS.time and Time.time 
both only returns seconds.

Thank you,
Torsten Anders
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.





More information about the mozart-users mailing list