diff: update to web pages.

[Tyson Richard DOWD]

Hi folks,

Here's an update of the web page with info about the Debian package.
Could someone check I haven't said something stupid (in this diff, that
is, just to counter DJ's inevitable reply).

===================================================================

Estimated hours taken: 0.5

Update the web page regarding the release of a modified 0.6.1 with 
Debian 1.3. 

index.html:
release.html:
	Provide links to the Debian web site and information about the
	contents of the Debian version.
	Also provide more detailed information about which versions are 
	0.6.1, 0.6.2 and 0.6.2-1.

Index: index.html
===================================================================
RCS file: /home/staff/zs/imp/www/index.html,v
retrieving revision 1.10
diff -u -r1.10 index.html
--- index.html	1997/04/22 01:22:16	1.10
+++ index.html	1997/07/03 07:00:47
@@ -98,6 +98,14 @@
 	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
+(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.
+
 <h3> Keeping in contact </h3>
 
 If you have any comments, suggestions, bug reports, or issues you would
Index: release.html
===================================================================
RCS file: /home/staff/zs/imp/www/release.html,v
retrieving revision 1.4
diff -u -r1.4 release.html
--- release.html	1997/05/23 12:49:25	1.4
+++ release.html	1997/07/03 07:08:39
@@ -8,9 +8,32 @@
 
 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.
+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.1 as one of the stable development
+packages.  Thanks to Milan Zamazal (pdm at fi.muni.cz) for preparing this
+package.  This packaged 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: despite being referred to as "mercury 0.6.2-1",
+it is based upon 0.6.1 not 0.6.2.  In addition this version 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.
 
 <a name="known">
 <h3>Information</h3>

-- 
       Tyson Dowd           # Assimilation doesn't kill people -- 
                            # resistance kills people.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd # (Seen on back of Borg cube.)