Ssreflect Users Discussion List

[Enrico Tassi <>]

I'm proud to announce the immediate availability of Ssreflect 1.3pl3 and
Ssreflect 1.3pl4.

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.
In addition to that the pl4 fixes the compilation of the ML plugin with 
Coq 8.4 and recent versions of camlp5.

As usual the tarballs can be found at:
http://www.msr-inria.inria.fr/Projects/math-components/

Cheers
-- 
Enrico Tassi