Subject: Ssreflect Users Discussion List
List archive
- From: Andrej Bauer <>
- To: Enrico Tassi <>
- Cc:
- Subject: Re: Ssreflect 1.3pl3 and 1.2pl4 released
- Date: Mon, 14 May 2012 22:22:41 +0200
Is there any chance to have ssreflect available through a revision
control system, such as github or a private server?
With kind regards,
Andrej
- Ssreflect 1.3pl3 and 1.2pl4 released, Enrico Tassi, 05/14/2012
- Re: Ssreflect 1.3pl3 and 1.2pl4 released, Enrico Tassi, 05/14/2012
- Re: Ssreflect 1.3pl3 and 1.2pl4 released, Andrej Bauer, 05/14/2012
- Re: Ssreflect 1.3pl3 and 1.2pl4 released, Enrico Tassi, 05/14/2012
- Re: Ssreflect 1.3pl3 and 1.2pl4 released, Andrej Bauer, 05/14/2012
- Re: Ssreflect 1.3pl3 and 1.2pl4 released, Enrico Tassi, 05/14/2012
Archive powered by MHonArc 2.6.18.