coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Missing chapter headings in the reference manual

From: Jelle Herold <jelle AT defekt.nl>
To: Robert Solovay <solovay AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Missing chapter headings in the reference manual
Date: Sat, 25 Jun 2011 22:15:48 +0200

On Sun, Jun 19, 2011 at 04:53:37AM +0200, Robert Solovay wrote:
> I downloaded the reference manual from the Coq web page. It would be
> much more useful if it had chapter citations.

It's indeed broken, it would be nice if someone uploads a working
version to the Coq site. In the mean time, you can build one yourself or
grab it here http://www.cs.ru.nl/~jherold/coq/Reference-Manual.pdf
(build from revision 14023)

HTH,
Jelle.

[Coq-Club] Missing chapter headings in the reference manual, Robert Solovay
- Re: [Coq-Club] Missing chapter headings in the reference manual, Jelle Herold
  - Re: [Coq-Club] Missing chapter headings in the reference manual, Robert Solovay