Ssreflect Users Discussion List

[Guillaume Melquiond <>]

Assia Mahboubi a écrit :
> svn checkout 
> svn://scm.gforge.inria.fr/svn/coq-contribs/trunk/Saclay/Ssreflect
>
> Yet this corresponds to an ssreflect 1.1 version, and not to the latest 
> 1.2 August release of ssreflect.

Note that combining the toplevel from coq-contribs with the theories 
from ssreflect-1.2 works just fine. This should be sufficient for most uses.

Best regards,

Guillaume

PS: By the way, on the topic of Coq trunk. It is now possible to import 
.vo files compiled by a SSReflect toplevel into a standard Coq toplevel.