Ssreflect Users Discussion List

[<>]

> You have to manually install the ide/*.cmi and ide/ide.*a files into your
> Coq library directory. Or you could use the source Coq instead of the
> installed Coq to create the toplevel.

Should I install them to lib/coq/lib ?
I tried by install them to both lib/coq/lib and lib/coq/lib/ide, but I seem to
have the same error.

Thanks.
Keik