The Coq mailing list

[Alan Schmitt <alan.schmitt AT polytechnique.org>]

Hello,

I need to use a library which depends on the Container library developed
by Stéphane Lescuyer. I saw in the Changelog from Coq 8.3 to Coq 8.4
beta the following:
"MSets library: an important evolution of the FSets library.
  "MSets" stands for Modular (Finite) Sets, by contrast with a forthcoming
  library of Class (Finite) Sets contributed by S. Lescuyer which will be
  integrated with the next release of Coq."

I have two questions about this.
- Is this the same library as the Containers one?
(http://coq.inria.fr/pylons/contribs/view/Containers/v8.3)[1]
- Is integration in Coq still planned? (I didn't see it in the Changlog
so I get it hasn't happened yet.)

Thanks a lot,

Alan