Ssreflect Users Discussion List

[Enrico Tassi <>]

On Tue, Aug 19, 2014 at 05:45:43PM +0100, Jason Gross wrote:
> Hi,
> When I visit http://www.msr-inria.fr/projects/mathematical-components-2/
> and click to download the latest version of the code, I get sent to
> http://gforge.inria.fr/frs/?group_id=401, which seems to have no listing

You are right, last release was not pushed to the gforge.

Here you can find all the relevant files: 

  http://ssr.msr-inria.inria.fr/FTP/

Best,
-- 
Enrico Tassi