[m-rev.] for review: remove support for MPS

Zoltan Somogyi zoltan.somogyi at runbox.com
Mon Aug 4 20:59:33 AEST 2014

On Mon, 4 Aug 2014 20:53:08 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> AFAIK, no-one has used MPS with Mercury since
> about 2002.  From the
> looks of it MPS itself has changed quite a bit so it's not clear that the
> existing code we have to support
> it would be very useful anyway.

My thoughts exactly.


More information about the reviews mailing list