Ssreflect Users Discussion List

[Enrico Tassi <>]

On Mon, May 14, 2012 at 10:22:41PM +0200, Andrej Bauer wrote:
> Is there any chance to have ssreflect available through a revision
> control system, such as github or a private server?

Hum, our repository is closed for many reasons. Opening that requires at
least some work I've not the time to do (and I'm in favour of opening
it, but we have a lot of private stuff there, like papers for example).

But you can find an almost daily updated copy of ssreflect here:

  https://gforge.inria.fr/scm/viewvc.php/?root=coq-contribs

in the Saclay/Ssreflect/ submodule. We push there every time our
continuous integration system successfully builds (for 8.3, 8.4 and
trunk).

We can grant you acces to our "private" svn repository, if you want.

Ciao
-- 
Enrico Tassi