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

[Peter Ross]

On Mon, Nov 8, 2010 at 7:03 PM, Julien Fischer
<juliensf at csse.unimelb.edu.au> wrote:
>
>
>
> 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)
>
I thought I had, but obviously not.

Just commited now.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------