time.m

[Tyson Richard DOWD]

Hi folks,

I'm thinking of adding some missing functionality in time.m (reporting
time in seconds, a la clock() or something). If anyone has some
requests, now is a good time to voice them. What's there is fine, but
it's a bit too specific, I'd like some more primitive operations so that
people can be more flexibile in doing their own timing.

Also, can we rename "time.m" as "timing.m"? I think time.m should be
used for the module dealing with data types representing the concept of
time, rather than actually reporting time usage and doing benchmarking.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of
     trd at cs.mu.oz.au        #  fur.
http://www.cs.mu.oz.au/~trd #