coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Standard library documentation for 8.5beta2 (e.g. MMaps)

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Standard library documentation for 8.5beta2 (e.g. MMaps)
Date: Thu, 30 Apr 2015 08:00:51 +0000
Accept-language: de-DE, en-US

Dear Pierre,

> Is https://coq.inria.fr/distrib/8.5beta2/stdlib/ what you are looking for ?
> (There is a css problem that make it raw for now but content is there)

Perfect, thanks!

Best regards,

Michael

[Coq-Club] Standard library documentation for 8.5beta2 (e.g. MMaps), Soegtrop, Michael, 04/30/2015
- Re: [Coq-Club] Standard library documentation for 8.5beta2 (e.g. MMaps), Pierre Boutillier, 04/30/2015
  - RE: [Coq-Club] Standard library documentation for 8.5beta2 (e.g. MMaps), Soegtrop, Michael, 04/30/2015