coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[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: [Coq-Club] Standard library documentation for 8.5beta2 (e.g. MMaps)
Date: Thu, 30 Apr 2015 07:05:42 +0000
Accept-language: de-DE, en-US

Dear Coq users,

I wonder where I can find the standard library documentation for 8.5beta2. The library includes some new theories like the long awaited MMaps, so a general index to the 8.5beta2 version in the style of https://coq.inria.fr/library/ would be helpful.

Or is there a one liner to create the docs from the sources? Luckily the 8.5beta binary distributions contain the library .v files, which is definitely the right decision.

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