[mercury-users] Mercury Documentation

[Fergus Henderson]

Donald Y. Song, you wrote:
> 
> Would someone be kind enough to zip up the Mercury HTML documentation
> for downloading?  I prefer to use the browser to read the documentation,
> but the link from the US to Australia can be unreliable at times.

The Mercury source and binary distributions include the HTML documentation,
so you could download one of those.

But I've put copies of the latest documentation at

	ftp://turiel.cs.mu.oz.au/pub/mercury/mercury-0.6.4-doc.tar.gz
	ftp://turiel.cs.mu.oz.au/pub/mercury/mercury-0.6.4-doc.zip

> Of course this will be for private use, I will not be violating any
> copyrights by putting it on a web server or anything.

If you read the copyright notices on the documentation, you will
see that we grant you permission to copy it.  I wouldn't have
any objection to anyone putting the documentation up on the Web,
just so long as they keep it reasonably up-to-date.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.