The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

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)

Pierre B.

> On 30 Apr 2015, at 09:05, Soegtrop, Michael 
> <michael.soegtrop AT intel.com>
>  wrote:
> 
> 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