[m-dev.] for review: setup links to new web pages
Mark Anthony BROWN
dougl at cs.mu.OZ.AU
Sun Feb 25 21:19:57 AEDT 2001
Hi,
This change links the 0.10 release to the web pages (task #24399). This
for review by anyone, but I'll wait until Fergus gives the go-ahead
before committing this to the main branch.
Estimated hours taken: 1.5
w3/download/Makefile:
w3/download/include/current-release-bugs.inc:
Update to point to release 0.10.
w3/download/include/old-release.inc:
Include the old information from release 0.9.1 (also fix some bugs).
w3/download/include/release.inc:
Update to point to the files for release 0.10.
Index: download/Makefile
===================================================================
RCS file: /home/mercury1/repository/w3/download/Makefile,v
retrieving revision 1.8
diff -u -r1.8 Makefile
--- download/Makefile 2001/02/23 05:20:30 1.8
+++ download/Makefile 2001/02/25 10:17:16
@@ -35,7 +35,7 @@
release-0.10-contents.html \
rotd.html
-current-release-bugs.html: release-0.9-bugs.inc
+current-release-bugs.html: release-0.10-bugs.inc
install: local_install
Index: download/include/current-release-bugs.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/current-release-bugs.inc,v
retrieving revision 1.2
diff -u -r1.2 current-release-bugs.inc
--- download/include/current-release-bugs.inc 1999/12/20 10:42:19 1.2
+++ download/include/current-release-bugs.inc 2001/02/25 10:17:16
@@ -1,3 +1,3 @@
<?
- include "$root/download/include/release-0.9-bugs.inc";
+ include "$root/download/include/release-0.10-bugs.inc";
?>
Index: download/include/old-release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/old-release.inc,v
retrieving revision 1.7
diff -u -r1.7 old-release.inc
--- download/include/old-release.inc 2000/01/26 08:32:09 1.7
+++ download/include/old-release.inc 2001/02/25 10:17:20
@@ -11,6 +11,168 @@
Please note, however, that the source and binaries for these
releases are often no longer available from the FTP site.
+<h3>Release 0.9.1</h3>
+
+Mercury 0.9.1 was released on January 26, 2000.
+<p>
+The NEWS file, detailing differences since the release of 0.8.1,
+is available <a href="release-0.9.html">here</a>.
+
+<a name="known">
+<h4>Information</h4>
+</a>
+
+<ul>
+ <li>
+ <a href = "release-0.9.html">
+ Release notes for 0.9.1
+ </a>
+
+ <li>
+ <a href = "release-0.9-contents.html">
+ Contents of release 0.9.1 distribution
+ </a>
+
+ <li>
+ <a href = "release-0.9-bugs.html">
+ Known problems with release 0.9.1
+ </a>
+
+ <li>
+ <a href = "limitations.html">
+ Limitations of the current release.
+ </a>
+</ul>
+
+<h4>Source Distribution</h4>
+
+The main "compiler" source distribution is about 8 Mb.
+This includes the compiler, standard library,
+debugger, profiler, and other tools.
+
+There is also a small "extras" distribution which contains a number
+of useful additional libraries. This is distributed separately,
+mainly for copyright reasons (some of the additional libraries do
+not meet the Debian Free Software Guidelines).
+We strongly recommend that everyone who downloads the "compiler"
+distribution should also download the "extras" distribution.
+
+Finally there is also a "tests" distribution which contains our
+test suite. This may be useful if you are modifying the compiler,
+or porting it to a new system.
+
+<dl>
+<dt> Compiler (8 Mb)
+<dd>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.9.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.9.1.tar.gz">Sweden</a>
+<dt> Extras (387 kb)
+<dd>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.9.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-extras-0.9.1.tar.gz">Sweden</a>
+<dt> Tests (330 kb)
+<dd>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.9.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.9.1.tar.gz">Sweden</a>
+</dl>
+
+<h4>Binary Distribution</h4>
+
+Binary distributions of Mercury 0.9.1:
+<br>
+(Note that some of these URLs will be dangling links until we have
+installed all the binary distributions.)
+<p>
+
+<dl>
+ <dt>x86 machines running Linux (ELF executable format, libc 6.0)
+ <dd> Note that these binary distributions work ONLY with libc 6.0.x.
+ Unfortunately they do NOT work with libc 6.1. This is due
+ to incompatibilities between libc versions 6.0 and 6.1
+ (i.e. glibc 2.0 and 2.1).
+ We have separate binaries distributions for libc 6.1 below.
+ <p>
+ Debian Package (*.deb) <br>
+ Compiler only (about 18 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9.1-1.deb">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1-1.deb">Sweden</a>
+ <br>
+ If you get this package, we suggest that you also download
+ the "extras" source distribution.
+ <p>
+ RedHat Package (*.rpm) <br>
+ Compiler only (about 18 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9.1.rpm">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.rpm">Sweden</a>
+ <br>
+ If you get this package, we suggest that you also download
+ the "extras" source distribution.
+ <p>
+ Ordinary package (*.tar.gz) <br>
+ Compiler + Extras + Tests (about 20 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.i686-pc-linux-libc2.0-gnu.tar.gz">Australia</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.i686-pc-linux-libc2.0-gnu.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.i686-pc-linux-libc2.0-gnu.tar.gz">Sweden</a>
+ <p>
+
+ <dt>x86 machines running Linux (ELF executable format, libc 6.1)
+ <dd> Note that these binary distributions work ONLY with libc 6.1.x.
+ Unfortunately they do NOT work with libc 6.0. This is due
+ to incompatibilities between libc versions 6.0 and 6.1
+ (i.e. glibc 2.0 and 2.1).
+ We have separate binaries distributions for libc 6.0 above.
+ <p>
+ Debian Package (*.deb) <br>
+ Compiler only (about 18 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9.1-1.deb">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1-1.deb">Sweden</a>
+ <br>
+ If you get this package, we suggest that you also download
+ the "extras" source distribution.
+ <p>
+ RedHat Package (*.rpm) <br>
+ Compiler only (about 18 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9.1.rpm">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.rpm">Sweden</a>
+ <br>
+ If you get this package, we suggest that you also download
+ the "extras" source distribution.
+ <p>
+ Ordinary package (*.tar.gz) <br>
+ Compiler + Extras + Tests (about 20 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.i686-pc-linux-libc2.1-gnu.tar.gz">Australia</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.i686-pc-linux-libc2.1-gnu.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.i686-pc-linux-libc2.1-gnu.tar.gz">Sweden</a>
+ <p>
+
+ <dt>Sun SPARC machines running Solaris 2.x and SunOS 5.6
+ <dd> Compiler + Extras + Tests (about 23 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.sparc-sun-solaris2.6.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.sparc-sun-solaris2.6.tar.gz">Sweden</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.sparc-sun-solaris2.6.tar.gz">USA</a><br>
+ <em> <strong>WARNING:</strong>
+We've had reports that some users have had trouble untarring some of
+the binary distributions for Solaris, with tar reporting
+"directory checksum error". This appears to be due to a bug in
+Sun tar. If you encounter this problem, then (1) let us know
+and (2) use GNU tar. </em>
+ <p>
+ <dt>DEC Alpha machines running OSF/1 or Digital Unix
+ <dd> Compiler + Extras + Tests (about 44 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.alpha-dec-osf3.2.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.alpha-dec-osf3.2.tar.gz">Sweden</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.alpha-dec-osf3.2.tar.gz">USA</a>
+
+ <p>
+ <dt>x86 machines running Windows 95 or Windows NT
+ <dd> Compiler + Extras + Tests (about 20 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.pc-windows-cygwin-b20.1.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.pc-windows-cygwin-b20.1.tar.gz">Sweden</a>
+<a href =
+"ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.pc-windows-cygwin-b20.1.tar.gz">USA</a>
+
+</dl>
+
<h3>Release 0.9</h3>
Mercury 0.9 was released on December 18, 1998.
Index: download/include/release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.15
diff -u -r1.15 release.inc
--- download/include/release.inc 2000/01/26 08:32:10 1.15
+++ download/include/release.inc 2001/02/25 10:17:22
@@ -1,11 +1,10 @@
<h2>Current Release</h2>
-Mercury 0.9 was released on December 18, 1999. <br>
-Mercury 0.9.1 was released on January 26, 2000. <p>
-
-The NEWS file, detailing differences since the release of 0.8.1,
-is available <a href="release-0.9.html">here</a>.
-Source distributions of release 0.9.1
+Mercury 0.10 was released on February 25, 2001.
+<p>
+The NEWS file, detailing differences since the release of 0.9.1,
+is available <a href="release-0.10.html">here</a>.
+Source distributions of release 0.10
are available at the following site(s):
(note: some of these links may be dangling links for now...)
@@ -23,7 +22,7 @@
ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/</a><br>
Stonybrook University in New York, USA.
<dt> USA
-<dd> <a href = "ftp://sunsite.unc.edu/pub/Linux/devel/lang/">
+<dd> <a href = "ftp://sunsite.unc.edu/pub/Linux/devel/lang/mercury/">
ftp://sunsite.unc.edu/pub/Linux/devel/lang/mercury/</a><br>
Sunsite in the USA.
<dt> Elsewhere
@@ -40,18 +39,18 @@
<ul>
<li>
- <a href = "release-0.9.html">
- Release notes for 0.9.1
+ <a href = "release-0.10.html">
+ Release notes for 0.10
</a>
<li>
- <a href = "release-0.9-contents.html">
- Contents of release 0.9.1 distribution
+ <a href = "release-0.10-contents.html">
+ Contents of release 0.10 distribution
</a>
<li>
- <a href = "release-0.9-bugs.html">
- Known problems with release 0.9.1
+ <a href = "release-0.10-bugs.html">
+ Known problems with release 0.10
</a>
<li>
@@ -122,94 +121,63 @@
or porting it to a new system.
<dl>
-<dt> Compiler (8 Mb)
+<dt> Compiler (10 Mb)
<dd>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.9.tar.gz">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.9.tar.gz">Sweden</a>
-<dt> Extras (387 kb)
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-compiler-0.10.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-compiler-0.10.tar.gz">Sweden</a>
+<dt> Extras (580 kb)
<dd>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.9.tar.gz">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-extras-0.9.tar.gz">Sweden</a>
-<dt> Tests (330 kb)
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-extras-0.10.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-extras-0.10.tar.gz">Sweden</a>
+<dt> Tests (381 kb)
<dd>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.9.tar.gz">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.9.tar.gz">Sweden</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-tests-0.10.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.10.tar.gz">Sweden</a>
</dl>
<h3>Binary Distribution</h3>
-Binary distributions of Mercury 0.9:
+Binary distributions of Mercury 0.10:
<br>
(Note that some of these URLs will be dangling links until we have
installed all the binary distributions.)
<p>
<dl>
- <dt>x86 machines running Linux (ELF executable format, libc 6.0)
- <dd> Note that these binary distributions work ONLY with libc 6.0.x.
- Unfortunately they do NOT work with libc 6.1. This is due
- to incompatibilities between libc versions 6.0 and 6.1
- (i.e. glibc 2.0 and 2.1).
- We have separate binaries distributions for libc 6.1 below.
- <p>
- Debian Package (*.deb) <br>
- Compiler only (about 18 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9.1-1.deb">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9-1.deb">Sweden</a>
- <br>
- If you get this package, we suggest that you also download
- the "extras" source distribution.
- <p>
- RedHat Package (*.rpm) <br>
- Compiler only (about 18 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9.1.rpm">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.9.1.rpm">Sweden</a>
- <br>
- If you get this package, we suggest that you also download
- the "extras" source distribution.
- <p>
- Ordinary package (*.tar.gz) <br>
- Compiler + Extras + Tests (about 20 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.i686-pc-linux-libc2.0-gnu.tar.gz">Australia</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9..1i686-pc-linux-libc2.0-gnu.tar.gz">USA</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.i686-pc-linux-libc2.0-gnu.tar.gz">Sweden</a>
- <p>
-
<dt>x86 machines running Linux (ELF executable format, libc 6.1)
<dd> Note that these binary distributions work ONLY with libc 6.1.x.
Unfortunately they do NOT work with libc 6.0. This is due
to incompatibilities between libc versions 6.0 and 6.1
(i.e. glibc 2.0 and 2.1).
- We have separate binaries distributions for libc 6.0 above.
<p>
Debian Package (*.deb) <br>
- Compiler only (about 18 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9.1-1.deb">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1-1.deb">Sweden</a>
+ Compiler only (about 28 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.10-1.deb">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10-1.deb">Sweden</a>
<br>
If you get this package, we suggest that you also download
the "extras" source distribution.
<p>
RedHat Package (*.rpm) <br>
- Compiler only (about 18 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.9.1.rpm">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-tests-0.9.1.rpm">Sweden</a>
+ Compiler only (about 28 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury_0.10.rpm">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10.rpm">Sweden</a>
<br>
If you get this package, we suggest that you also download
the "extras" source distribution.
<p>
Ordinary package (*.tar.gz) <br>
- Compiler + Extras + Tests (about 20 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.i686-pc-linux-libc2.1-gnu.tar.gz">Australia</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.i686-pc-linux-libc2.1-gnu.tar.gz">USA</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.i686-pc-linux-libc2.1-gnu.tar.gz">Sweden</a>
+ Compiler + Extras + Tests (about 30 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.10.i686-pc-linux-libc2.1-gnu-O5.tar.gz">Australia</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.10.i686-pc-linux-libc2.1-gnu-O5.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10.i686-pc-linux-libc2.1-gnu-O5.tar.gz">Sweden</a>
<p>
<dt>Sun SPARC machines running Solaris 2.x and SunOS 5.6
- <dd> Compiler + Extras + Tests (about 23 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.sparc-sun-solaris2.6.tar.gz">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.sparc-sun-solaris2.6.tar.gz">Sweden</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.sparc-sun-solaris2.6.tar.gz">USA</a><br>
+ <dd> Compiler + Extras + Tests (about 35 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.10.sparc-sun-solaris2.7.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10.sparc-sun-solaris2.7.tar.gz">Sweden</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.10.sparc-sun-solaris2.7.tar.gz">USA</a><br>
<em> <strong>WARNING:</strong>
We've had reports that some users have had trouble untarring some of
the binary distributions for Solaris, with tar reporting
@@ -218,18 +186,18 @@
and (2) use GNU tar. </em>
<p>
<dt>DEC Alpha machines running OSF/1 or Digital Unix
- <dd> Compiler + Extras + Tests (about 44 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.alpha-dec-osf3.2.tar.gz">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.alpha-dec-osf3.2.tar.gz">Sweden</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.alpha-dec-osf3.2.tar.gz">USA</a>
+ <dd> Compiler + Extras + Tests (about 66 Mb): <br>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.10.alpha-dec-osf3.2.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10.alpha-dec-osf3.2.tar.gz">Sweden</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.10.alpha-dec-osf3.2.tar.gz">USA</a>
<p>
<dt>x86 machines running Windows 95 or Windows NT
<dd> Compiler + Extras + Tests (about 20 Mb): <br>
-<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.9.1.pc-windows-cygwin-b20.1.tar.gz">Australia</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.9.1.pc-windows-cygwin-b20.1.tar.gz">Sweden</a>
+<a href = "ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/mercury-0.10.i686-pc-cygwin.tar.gz">Australia</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.10.i686-pc-cygwin.tar.gz">Sweden</a>
<a href =
-"ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.9.1.pc-windows-cygwin-b20.1.tar.gz">USA</a>
+"ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.10.i686-pc-cygwin.tar.gz">USA</a>
</dl>
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list