Ssreflect Users Discussion List

[Stéphane Glondu <>]

Le 22/02/2011 16:10, Georges Gonthier a écrit :
>   Concerning the coq-contribs gforge repository you mention, and which all 
> members of this list are perhaps not aware of, I would like to stress that 
> despite its name it is not an archive of external contributions, but a joint 
> regression suite for the Coq internal and external developers. [...]

Ok. So maybe it would be better to have two contribs: one based on the 
last release, that you could use as a reply to mails such as [1,2] [3] 
and where we would commit only fixes wrt to evolutions in Coq, and 
another one, which would be used as a joint regression suite.

How does that sound?

[1] <>
[2] <>
[3] It would be nice to have working public archives of the
    mailing-list, so that people can easily access the two above
    references.


Cheers,

--
Stéphane