[m-rev.] Add built-in modes ia and oa for solver types

Julien Fischer juliensf at cs.mu.OZ.AU
Fri Dec 3 15:51:02 AEDT 2004


On Fri, 3 Dec 2004, Ralph Becket wrote:

> Julien Fischer, Friday,  3 December 2004:
> >
> > I take it `da' and `mda' are fairly useless.
>
> Like a tomato with wheels.
>
> Well, no, you're probably right that they have a place; but I'd really
> rather not support them until we have a mode system that understands
> uniqueness *sigh*.
>
Fair enough.

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



More information about the reviews mailing list