[mercury-users] mercury website (was Suggestion: new operator)

[David Overton]

On Thu, Oct 19, 2000 at 05:10:38PM -0700, William Lee Irwin III wrote:
> On Thu, Oct 19, 2000 at 03:33:12AM -0700, Ralph Becket wrote:
> > We now have a selection of infix operators for common tasks (`^' for 
> > field access, `++' for concatenation etc.)  I propose adding `@' as a
> > synonym for `lookup' operations:
> 
> I didn't know this... am I working with the current release?
> What I have now is the Debian package mercury 0.9.1-wli1 which is
> just 0.9.1 with all of the extra libraries built. I'm apparently
> having a very tough time reaching www.cs.mu.oz.au for whatever
> reason; is there a U.S. mirror of the Mercury project's page?
> (Or, more importantly, is there a U.S. mirror of the Mercury
> project's CVS repository with anonymous access?)

Melbourne Uni's connection to the internet has been down for about 12
hours or so (actually the whole Victorian Research Network, which
connects all the universities in the state to the internet, seems to
have died temporarily).  It's back now though.  Try again.

0.9.1 is the most recent official release of Mercury, but does not
have most of the stuff Ralph is talking about.  You will need to
download and build one of our ``releases of the day'' for that.
See
	http://www.cs.mu.oz.au/research/mercury/download/rotd.html
but note this warning from that page:
	Please treat ROTDs with caution -- although they are often
	very useful and reasonably stable, they are not widely tested,
	and may have unfinished features and rough edges.

Unfortunately there is no US mirror of our CVS repository and only the
official releases are on our US ftp mirrors.


David
-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------