[m-rev.] for review: Updated downloads page

[Paul Bone]

For review by anyone.

Updated downloads page to point to the list of files at
http://dl.mercurylang.org/index.html.

Also updated the CVS paragraph to describe git and github.

include/download.inc:
    As above.
---
 include/download.inc | 74 ++++++++++++++++++++++++++++++++++++----------------
 1 file changed, 52 insertions(+), 22 deletions(-)

diff --git a/include/download.inc b/include/download.inc
index e485bc6..a4c751a 100644
--- a/include/download.inc
+++ b/include/download.inc
@@ -1,35 +1,58 @@
-<H2>How to get Mercury</H2>
-<?php $next_beta_version="12.08-beta" ?>
+<h2>How to get Mercury</h2>
 
-The Mercury compiler is free software, and is distributed under the
+<p>
+The Mercury system is free software, and is distributed under the
 terms of the GNU General Public License.
+</p>
+
 <p>
-There are <?php echo($next_beta_version == "" ? "two" : "three"); ?> 
+Source downloads are available from
+<a href="http://dl.mercurylang.org/index.html">our downloads page</a>.
+This page is temporary as we are in the process of reorganising the
+project's hosting,
+we hope to improve this in the future.
+</p>
+
+<h3>About Mercury's versions</h3>
+
+<?php $next_beta_version="" ?>
+
+<p>
+There are <?php echo($next_beta_version == "" ? "two" : "three"); ?>
 main versions of Mercury available at the moment.
+<p/>
 
-<H3> Current stable release </H3>
+<h4> Current stable release </h4>
 
+<p>
 The most stable release will be a <em>numbered release</em>,
 such as 0.10.1, 0.13.0 or 10.04.
-These releases have been extensively tested, and often have 
+These releases have been extensively tested, and often have
 pre-compiled binary packages for easy installation.
+</p>
 <p>
-The stable release naming scheme was 0.1 up to 0.13 for the first thirteen stable releases.
-In February 2010 the Mercury project decided to name each stable release by using the year and month of the release.
+The stable release naming scheme was 0.1 up to 0.13 for the first thirteen
+stable releases.
+In February 2010 the Mercury project decided to name each stable release by
+using the year and month of the release.
 For example 10.04 is for a release made in April 2010.
+</p>
+
 <p>
-The <a href="download/release.html">current stable release</a>
-is version <?php echo $current_release; ?>.
+The current stable release is version <?php echo $current_release; ?>.
+See
+<a href="http://dl.mercurylang.org/index.html">our downloads page</a>.
+</p>
 
 <?php if ($next_beta_version != "") { ?>
 	<H3> Beta release </H3>
 
 	A beta version of the next release is also available.
-	The current beta release is version <?php echo $next_beta_version; ?>. 
+	The current beta release is version <?php echo $next_beta_version; ?>.
 	The source distribution for this beta release is available for download
-	from: 
+	from:
 	<ul>
-	<li> 
+	<li>
 	<A
 	HREF="<?php
 		echo "http://$www_domain/download/files/beta-releases/";
@@ -42,21 +65,28 @@ is version <?php echo $current_release; ?>.
 	</ul>
 <?php } ?>
 
-<H3> Release of the day </H3>
+<h4> Release of the day </h4>
+
 <p>
 To cater for those who need access to the latest features of Mercury,
-we release a daily snapshot of the development system.
+we release a periodic snapshot of the development system.
 This is called a "release of the day (ROTD)".
 Each ROTD is given a version number
-"rotd-YYYY-MM-DD" according to the date on which it was built.  
+"rotd-YYYY-MM-DD" according to the date on which it was built.
+ROTDs are not necessarily daily.
+</p>
 <p>
-The <a href="download/rotd.html">current release of the day</a>
-is version <?php echo $rotd_version; ?>.
+The current release of the day is version <?php echo $rotd_version; ?>.
+See
+<a href="http://dl.mercurylang.org/index.html">our downloads page</a>.
+</p>
+
+<h3>Anonymous git access</h3>
 
-<h3>Anonymous CVS access</h3>
 <p>
-Anonymous access to our CVS repository is also available.                                                                  
-See the <a href="information/developers/remote_cvs.html">CVS access</a>
-page for details.
+Anonymous access to our git repository is also available
+via github at
+<a href="https://github.com/Mercury-Language">
+https://github.com/Mercury-Language</a>.
 </p>
 
-- 
1.8.1.3