diff: changes to WWW page
Fergus Henderson
fjh at cs.mu.oz.au
Tue Jul 29 01:33:25 AEST 1997
Hi,
More changes for review.
Note 1: I haven't update the `www/people.html' file, but it is probably
out-of-date.
Note 2: We will need to update the WWW pages again as we add binary
distributions.
--------------------
Update the WWW pages to reflect the release of version 0.7.
www/index.html:
Update the stuff about Debian, since the Debian package is now
out-of-date.
www/limitations.html:
Duplicate the changes to LIMITATIONS here.
www/motivation.html:
Mention 0.7.
www/old-release.html:
Add descriptions of 0.6, 0.6.1, 0.6.2, and 0.6.2-1, from release.html.
www/release.html:
Move description of 0.6, 0.6.1, 0.6.2, and 0.6.2-1 to old-release.html.
Change release.html to point to 0.7 rather than 0.6.
www/release-0.7.html:
New file, containing the contents of the NEWS file.
cvs diff: Diffing .
Index: index.html
===================================================================
RCS file: /home/staff/zs/imp/www/index.html,v
retrieving revision 1.11
diff -u -r1.11 index.html
--- index.html 1997/07/03 07:53:03 1.11
+++ index.html 1997/07/28 13:08:14
@@ -98,13 +98,16 @@
Old releases of the Mercury system</a>
</ul>
-If you are using Debian GNU/Linux on an x86 processor, Mercury is available
-as a Debian package, as part of Debian 1.3. Thanks to Milan Zamazal
+If you are using Debian GNU/Linux on an x86 processor, the previous
+release of Mercury, namely Mercury 0.6.2, is available
+as a Debian package as part of Debian 1.3. Thanks to Milan Zamazal
(pdm at fi.muni.cz) for preparing this package. You can download it from
any of the Debian mirrors - see the <a href="http://www.debian.org">Debian
-Web Site</a> for more information on Debian. Some technical information
-on this package is available with the <a href="release.html">
-current release</a> information.
+Web Site</a> for more information on Debian. Some technical information
+on this package is available with the <a href="old-release.html">
+old releases</a> information. However, you may wish to wait until
+we have made the current release, Mercury 0.7, available as a Debian
+package.
<h3> Keeping in contact </h3>
Index: limitations.html
===================================================================
RCS file: /home/staff/zs/imp/www/limitations.html,v
retrieving revision 1.4
diff -u -r1.4 limitations.html
--- limitations.html 1997/04/22 01:22:17 1.4
+++ limitations.html 1997/07/26 19:53:51
@@ -19,25 +19,27 @@
The compiler does not yet use structure reuse or compile-time
garbage collection to exploit unique modes.
<li>
-Module qualifiers are not yet fully implemented
-(they are also not yet documented).
-<li>
It is not possible to give both `cc_multi' and `multi'
(or `cc_nondet' and `nondet') determinisms for the same mode of a predicate.
<li>
The order of mode declarations is significant:
unique mode declarations must precede non-unique mode declarations.
+</ul>
+
+In addition, design decisions in this implemenation have imposed
+the following limits:
+
+<ul>
+<li>
+Predicates and functions can have at most about 1000 arguments.
<li>
-Predicates can have at most about 1000 arguments.
+Higher-order terms can have at most about 500 arguments.
</ul>
-<p>
-We are working on eliminating all of these problems.
-Of course, those are not the only things we're working on.
-Among other things, we would like to provide a better C interface
-and a better garbage collector.
-We're also working on a parallel/multi-threaded version of Mercury,
-and on adding support for constraint solving.
+These limits can be lifted (with some effort), but would possibly incur
+performance penalties. Contact the Mercury team
+(<a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>)
+if you find these limits are affecting your application.
<p>
<hr>
Index: motivation.html
===================================================================
RCS file: /home/staff/zs/imp/www/motivation.html,v
retrieving revision 1.4
diff -u -r1.4 motivation.html
--- motivation.html 1997/04/22 01:22:20 1.4
+++ motivation.html 1997/07/26 19:39:35
@@ -101,6 +101,9 @@
were introduced in Version 0.5 on 15 February 1996.
Functional syntax and type and mode inference
were introduced in Version 0.6 on 2 August 1996.
+Version 0.7, due to be released in August 1997, XXX
+introduced cross-module optimization and
+generic I/O predicates, amoung other things.
<p>
<hr>
Index: old-release.html
===================================================================
RCS file: /home/staff/zs/imp/www/old-release.html,v
retrieving revision 1.4
diff -u -r1.4 old-release.html
--- old-release.html 1997/04/22 01:22:21 1.4
+++ old-release.html 1997/07/26 19:19:58
@@ -17,6 +17,56 @@
Please note, however, that the source and binaries for these
releases are often no longer available from the FTP site.
+<h3>Release 0.6.2-1</h3>
+
+On the 2nd of June, 1997, Debian GNU/Linux 1.3 was released, including a
+slightly modified Mercury 0.6.2 as one of the stable development
+packages. Thanks to Milan Zamazal (pdm at fi.muni.cz) for preparing this
+package. This package can be obtained at any of the Debian mirrors -
+see the <a href="http://www.debian.org">Debian Web Site</a> for more
+information on Debian. It will also be available on any official Debian
+1.3 CDs. Please note: this Debian version "mercury 0.6.2-1" uses a
+different name for the Mercury compiler `mc' due to name clashes with
+another package, so the documentation (user's guide in particular)
+should read `mercury' instead of `mc'. This problem will be fixed in
+Mercury 0.7.
+
+<h3>Release 0.6.2</h3>
+
+On the 14th of January, 1997 an updated version of the binary
+distribution of Mercury for Windows 95/NT was released. That was
+still a beta release of Windows support. That release was version 0.6.2.<p>
+
+<h3>Release 0.6.1</h3>
+
+On 26th of August, 1996, a patch for a problem with integer
+multiplication and division was made available (see the <a href=
+"release-0.6-bugs.html">known problems list</a> for details, and patches
+for both the source and binary distributions).
+The version of Mercury 0.6 with these patches applied to is referred to
+as 0.6.1.<p>
+
+<h3>Release 0.6</h3>
+
+This distribution of Mercury was released on 2nd of August, 1996.<p>
+
+<ul>
+ <li>
+ <a href = "release-0.6.html">
+ Release notes for 0.6
+ </a>
+
+ <li>
+ <a href = "release-0.6-contents.html">
+ Contents of release 0.6 distribution
+ </a>
+
+ <li>
+ <a href = "release-0.6-bugs.html">
+ Known problems with release 0.6
+ </a>
+</ul>
+
<h3>Release 0.5.1</h3>
This distribution of Mercury was a bug fix release, for problems found
n 1.6
diff -u -r1.6 release.html
--- release.html 1997/07/08 04:05:50 1.6
+++ release.html 1997/07/28 12:46:45
@@ -6,33 +6,8 @@
<h2>Current Release</h2>
-The current release of the Mercury distribution is 0.6, and was released
-on the 2nd of August, 1996.<p>
-
-<h3>Updates of the Current Release</h3>
-
-On 26th of August, 1996, a patch for a serious problem with integer
-multiplication and division was made available (see the <a href=
-"release-0.6-bugs.html">known problems list</a> for details, and patches
-for both the source and binary distributions).
-The version of Mercury 0.6 with these patches applied to is referred to
-as 0.6.1.<p>
-
-On the 14th of January, 1997 an updated version of the binary
-distribution of Mercury for Windows 95/NT was released. This is
-still a beta release of Windows support. This release is version 0.6.2.<p>
-
-On the 2nd of June, 1997, Debian GNU/Linux 1.3 was released, including a
-slightly modified Mercury 0.6.2 as one of the stable development
-packages. Thanks to Milan Zamazal (pdm at fi.muni.cz) for preparing this
-package. This package can be obtained at any of the Debian mirrors -
-see the <a href="http://www.debian.org">Debian Web Site</a> for more
-information on Debian. It will also be available on any official Debian
-1.3 CDs. Please note: this Debian version "mercury 0.6.2-1" uses a
-different name for the Mercury compiler `mc' due to name clashes with
-another package, so the documentation (user's guide in particular)
-should read `mercury' instead of `mc'. This problem will be fixed in
-Mercury 0.7.
+The current release of the Mercury distribution is 0.7, which is due
+to be released in August, 1997.<p>
<a name="known">
<h3>Information</h3>
@@ -40,18 +15,18 @@
<ul>
<li>
- <a href = "release-0.6.html">
- Release notes for 0.6
+ <a href = "release-0.7.html">
+ Release notes for 0.7
</a>
<li>
- <a href = "release-0.6-contents.html">
- Contents of release 0.6 distribution
+ <a href = "release-0.7-contents.html">
+ Contents of release 0.7 distribution
</a>
<li>
- <a href = "release-0.6-bugs.html">
- Known problems with release 0.6
+ <a href = "release-0.7-bugs.html">
+ Known problems with release 0.7
</a>
<li>
@@ -103,18 +78,21 @@
<dl>
<dt>
-The full source distribution is 3.95Mb.<br>
+The full source distribution is 4.8Mb.<br>
<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.6.tar.gz">Australia</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.6.tar.gz">USA</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.6.tar.gz">Europe</a>
+<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.7.tar.gz">Australia</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.7.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.7.tar.gz">Europe</a>
</dl>
<h3>Binary Distribution</h3>
+Binary distributions of Mercury 0.7 are not yet available. <p>
+
+Binary distributions of Mercury 0.6: <p>
+
<dl>
- <dt>x86 machines running Linux (ELF
- executable format) (2.3Mb):
+ <dt>x86 machines running Linux (ELF executable format) (2.3Mb):
<dd> Distribution:
<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.6.i386-linux-ELF.tar.gz">Australia</a>
<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.6.i386-linux-ELF.tar.gz">USA</a>
cvs diff: Diffing bench
cvs diff: Diffing developer
cvs diff: Diffing doc
cvs diff: Diffing papers
cvs diff: Diffing patches
cvs diff: Diffing pics
--
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.
More information about the developers
mailing list