Subject: Ssreflect Users Discussion List
List archive
- From: Stéphane Glondu <>
- To: Bas Spitters <>
- Cc: "" <>
- Subject: Re: Coq trunk
- Date: Wed, 07 Oct 2009 10:15:28 +0200
- Openpgp: id=49881AD3
Bas Spitters a écrit :
> Is anyone maintaining a version of ssr compatible with Coq trunk or should
> we
> wait for the stable release?
There is one in coq-contribs [1]. Ssreflect is in Saclay directory.
[1] http://gforge.inria.fr/projects/coq-contribs/
Best regards,
--
Stéphane
- Coq trunk, Bas Spitters, 10/07/2009
- Re: Coq trunk, Stéphane Glondu, 10/07/2009
- Re: Coq trunk, Assia Mahboubi, 10/07/2009
- Re: Coq trunk, Guillaume Melquiond, 10/07/2009
- Re: Coq trunk, Assia Mahboubi, 10/07/2009
- Re: Coq trunk, Assia Mahboubi, 10/23/2009
- <Possible follow-up(s)>
- Coq Trunk, Assia Mahboubi, 10/23/2009
- Re: Coq trunk, Stéphane Glondu, 10/07/2009
Archive powered by MHonArc 2.6.18.