Subject: Ssreflect Users Discussion List
List archive
- From: Robin Green <>
- To:
- Subject: Development version of Coq with ssreflect?
- Date: Wed, 14 May 2008 11:34:29 +0100
I would like to use the development version of Coq to get this new
feature:
https://logical.futurs.inria.fr/coq-bugs/show_bug.cgi?id=1771
Will ssreflect 1.1 compile and run with the latest development
version of Coq from the subversion repository? If not, is there a
version of ssreflect that will?
Thanks
--
Robin
- Development version of Coq with ssreflect?, Robin Green, 05/14/2008
- Re: Development version of Coq with ssreflect?, Assia Mahboubi, 05/26/2008
Archive powered by MHonArc 2.6.18.