The Coq mailing list

[Robert Solovay<solovay AT gmail.com>]

I downloaded the reference manual from the Coq web page. It would be much more
useful if it had chapter citations.

A sample of what I am talking about appears in the first paragraph on page 3,
where it says "a book [?]"  This example could be multiplied ad infinitum. 
What
clearly happened is that the LaTeX source file was not processed by LaTeX
enough times to get the references into the output pdf file.

Is there any chance this could be fixed?

Thanks,

Bob Solovay