Ssreflect Users Discussion List

[Enrico Tassi <>]

On Mon, May 14, 2012 at 06:13:18PM +0200, Enrico Tassi wrote:
> I'm proud to announce the immediate availability of Ssreflect 1.3pl3 and
> Ssreflect 1.3pl4.

I'm sorry, I made a bunch of mistakes in this email.

The subject should be "Ssreflect 1.3pl3 and 1.3pl4 released"

> These are two releases to fix compatibility issues with Coq 8.3lp3 and
> Coq8.3pl4 respectively. 
> 
> In particular the pl3 fixes eqtype.v with respect to the Coercions scoping
> rules change in Coq 8.3.

This should be "Coq 8.3pl3"

> In addition to that the pl4 fixes the compilation of the ML plugin with 
> Coq 8.4 and recent versions of camlp5.

This should be "Coq 8.3pl4 and recent versions of camlp5".

Cheers
-- 
Enrico Tassi