mercury 0.7

[Fergus Henderson]

Hi,

I've installed release 0.7 in

	/home/mercury/public/mercury-0.7/alpha-dec-osf3.2
	/home/mercury/public/mercury-0.7/i586-pc-linux-gnu

and will soon install it in

	/home/mercury/public/mercury-0.7/sparc-sun-solaris2.3

and maybe

	/home/mercury/public/mercury-0.7/sgi-irix-5.3

Please adjust your $PATH, $INFOPATH, and $MANPATH accordingly.

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