Ssreflect Users Discussion List

[Assia Mahboubi <>]

Dear Robin,

 I apologize for answering so late. I was waiting for news from the 
developers of standard Coq, about the stabilization of the system to be 
released.
 We plan to follow standard Coq releases and to provide versions of 
ssreflect complying with each new official release of the Coq system.
  However, for the time being, we do not aim at following day to day 
the ever-changing states of the subversion repository.
  The feature you are mentioning should be available in the next 
release of the Coq system, which might be available within a week or 
two. This release will be quickly followed by a compatibility release of 
ssreflect.

Sorry again for the delay,

Best.

assia



Robin Green a écrit :
> 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
>