[mercury-users] Maillist search-engine down? re: DOG + ANT = CAT

[Julien Fischer]

On Mon, 30 Jul 2007 doug.auclair at logicaltypes.com wrote:

> I'm having difficulty doing searches against the mercury-users
> maillist; the response to my "integer constraints" and "constraint
> solvers" yields:  http://www.mercury.cs.mu.oz.au/cgi-bin/htsearch.
> ... and the system says www.mercury.cs.mu.oz.au does not exist.

Yes, we've been having some trouble with it since we moved to a
new web server.  You can use the google custome search engine
for the Mercury mailing lists for the moment.  (Which is actually
better than htdig anyway.)

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------