diff: WWW changes for 0.7

[Fergus Henderson]

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/08/14 15:00:08
@@ -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, released on 15 August 1997,
+introduced generic I/O predicates and
+was the first to provide cross-module optimization.
 <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
cvs diff: release-0.7-bugs.html is a new entry, no comparison available
cvs diff: release-0.7-contents.html is a new entry, no comparison available
cvs diff: release-0.7.html is a new entry, no comparison available
Index: release.html
===================================================================
RCS file: /home/staff/zs/imp/www/release.html,v
retrieving revision 1.6
diff -u -r1.6 release.html
--- release.html	1997/07/08 04:05:50	1.6
+++ release.html	1997/08/14 15:19:37
@@ -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,40 +78,49 @@
 
 <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:
+<br>
+(Note that some of these URLs may be dangling links until the mirrors
+are fully updated.)
+<p>
+
 <dl>
-    <dt>x86 machines running Linux (ELF
-    executable format) (2.3Mb):
+    <dt>x86 machines running Linux (ELF executable format) (4.9Mb):
 	<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>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.6.i386-linux-ELF.tar.gz">Europe</a>
+<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.7.i386-linux-ELF.tar.gz">Australia</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.7.i386-linux-ELF.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.7.i386-linux-ELF.tar.gz">Europe</a>
 	<p>
-    <dt>Sun SPARC machines running Solaris 2.x and SunOS 5.x (5.5Mb):
+
+    <dt>Sun SPARC machines running Solaris 2.x and SunOS 5.x (???Mb):
 	<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.6.sparc-sun-solaris.tar.gz">Australia</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.6.sparc-sun-solaris.tar.gz">USA</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.6.sparc-sun-solaris.tar.gz">Europe</a>
+<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.7.sparc-sun-solaris.tar.gz">Australia</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.7.sparc-sun-solaris.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.7.sparc-sun-solaris.tar.gz">Europe</a>
 
 	<p>
-    <dt>DEC Alpha machines running OSF/1 or Digital Unix (8.3Mb):
+    <dt>DEC Alpha machines running OSF/1 or Digital Unix (11.2Mb):
 	<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.6.alpha-dec-osf.tar.gz">Australia</a>
-<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.6.alpha-dec-osf.tar.gz">USA</a>
-<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.6.alpha-dec-osf.tar.gz">Europe</a>
+<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.7.alpha-dec-osf.tar.gz">Australia</a>
+<a href = "ftp://ftp.cs.sunysb.edu/pub/XSB/mercury/mercury-0.7.alpha-dec-osf.tar.gz">USA</a>
+<a href = "ftp://ftp.csd.uu.se/pub/Mercury/mercury-0.7.alpha-dec-osf.tar.gz">Europe</a>
 
+<!--
 	<p>
-    <dt>x86 machines running Windows 95 or Windows NT (2.3Mb):
+    <dt>x86 machines running Windows 95 or Windows NT (???Mb):
 	<dd> Distribution:
-<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.6.2.i386-windows.tar.gz">Australia</a>
+<a href = "ftp://turiel.cs.mu.OZ.AU/pub/mercury/mercury-0.7.i386-windows.tar.gz">Australia</a>
+
+-->
 
 </dl>
 
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.