[m-rev.] for review: mention winmercury on the release page

[Julien Fischer]

On Thu, 14 Oct 2010, Peter Ross wrote:

> download/include/release.inc:
> 	Add a link to the winmercury project, which provides
> 	a windows port of the Mercury platform.
>
> Index: download/include/release.inc
> ===================================================================
> RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
> retrieving revision 1.51
> diff -u -r1.51 release.inc
> --- download/include/release.inc	5 Oct 2010 06:25:59 -0000	1.51
> +++ download/include/release.inc	14 Oct 2010 04:34:57 -0000
> @@ -167,4 +167,9 @@
>
> <h3><a name="binaries">Binary Distributions</a></h3>
>
> -There are no binary distributions for 10.04.2 currently available.
> +The <a href="http://code.google.com/p/winmercury/">winmercury</a> project
> +creates binary distributions of Mercury optimized for use on the Windows platform.
> +
> +There are no other binary distributions for 10.04.2 currently available.
> +

Did you ever commit this?  (The diff looks fine BTW)

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------