[m-dev.] running some timings

[Tyson Dowd]

On 22-Jan-2001, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> The timings require quite a bit of support infrastructure which is
> all on local disk on roy.

Well, ok, I'll be off it at 5pm, and I've killed my processes that
might interfere.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------