[m-rev.] for review: order procedures by number of redos in mdprof

[Ralph Becket]

Julien Fischer, Tuesday, 12 July 2005:
> 
> For review by anyone.
> 
> Estimated hours taken: 0.5
> Branches: main, release
> 
> deep_profiler/html_format.m:
> deep_profiler/interface.m:
> deep_profiler/top_procs.m:
> 	Add a control that allows procedures to be ordered by the
> 	number of redos they execute.

That looks good.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------