Ssreflect Users Discussion List

[Andrej Bauer <>]

Thank you for the message, I successfully compiled ssrefelct with the
small patch.

It seems to me that there would be some benefit if ssreflect were
available on github or a similar site.

With kind regards,

Andrej

On Fri, Apr 20, 2012 at 5:57 PM, Cyril Cohen <> wrote:
> Dear Andrej Bauer,
>
> Yes, there is a small incompatibility between Coq >= 8.3pl3 and ssreflect 
> 1.3pl2.
> This problem has already been mentioned on this mailing list [1], so the 
> best
> thing to do may be to point you to its archives.
> I think the smallest and easiest patch to apply is the one given in Enrico's
> answer [2].
> (If it doesn't work, you could try one of the other solutions provided in 
> [3])
>
> Best regards,
> --
> Cyril Cohen
>
> [1]
> https://sympa.msr-inria.inria.fr/sympa/wwsympa-wrapper.fcgi/arc/ssreflect/2012-03/msg00000.html
> [2]
> https://sympa.msr-inria.inria.fr/sympa/wwsympa-wrapper.fcgi/arc/ssreflect/2012-03/msg00001.html
> [3]
> https://sympa.msr-inria.inria.fr/sympa/wwsympa-wrapper.fcgi/arc/ssreflect/2012-03/msg00002.html