The Coq mailing list

[Robert Soule <robert.soule AT gmail.com>]

Thank you,
Robert

On Tue, May 26, 2009 at 1:21 PM, muad 
<muad.dib.space AT gmail.com>
 wrote:
>
>
>
> Robert Soule wrote:
>>
>> Hi,
>>
>> Does anyone know if there is a binary installation of Coq for Intel Macs
>> available? I only saw the Windows binary on the web site, and building
>> the source myself was giving me some problems.
>>
>> thank you,
>> Robert
>>
>> --------------------------------------------------------
>> Bug reports: http://logical.saclay.inria.fr/coq-bugs
>> Archives: http://pauillac.inria.fr/pipermail/coq-club
>>           http://pauillac.inria.fr/bin/wilma/coq-club
>> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
>>
>>
>
> They have made the website a lot worse and harder to use recently, I am not
> sure why... even the documentation is missing.
> You should be able to get a binary from ftp://ftp.inria.fr/INRIA/coq/V8.1/
> though, they didn't get around to modernizing (aka breaking) that yet :p
>
> --
> View this message in context: 
> http://www.nabble.com/Coq-on-Mac-tp23727440p23727649.html
> Sent from the Coq mailing list archive at Nabble.com.
>
> --------------------------------------------------------
> Bug reports: http://logical.saclay.inria.fr/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>          http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
>