[m-dev.] for review: fix dl.m for HL grades

[Zoltan Somogyi]

On 11-Jan-2001, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> Otherwise this diff is fine, thanks!

Actually, it isn't, because it causes the two copies of dl.m to diverge further
apart. Fergus, you should really fix that double maintenance problem.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------