Ssreflect Users Discussion List

[Enrico Tassi <>]

I'm proud to announce the immediate availability of Ssreflect 1.4 for
Coq 8.4 and Coq 8.3pl4.

With this release the plugin code received many bug fixes and the
existing libraries relevant updates.  This release also includes some
new libraries on the following topics: rational numbers, divisibility of
integers, F-algebras, finite dimensional field extensions and Euclidean
division for polynomials over a ring.

The release includes a major code refactoring of the plugin for Coq 8.4.
In particular a documented ML API to access the pattern matching
facilities of Ssreflect from third party plugins has been introduced.

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

Cheers
-- 
Enrico Tassi