Ssreflect Users Discussion List

[Maxime Dénès <>]

Ok, just found out that it's now using qualified names (like 
Ssreflect.seq.html).

Apologies for the noise!

Maxime.

On 10/17/2014 09:42 AM, Maxime Dénès wrote:
> Hello there,
>
> Has the online documentation been moved? It seems inaccessible, e.g.: 
> http://ssr2.msr-inria.inria.fr/~jenkins/current/seq.html
>
> Thanks!
>
> Maxime.