Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


chronological Thread 
  • From: Robert Solovay <solovay AT gmail.com>
  • To: Jelle Herold <jelle AT defekt.nl>
  • Cc: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Missing chapter headings in the reference manual
  • Date: Sun, 26 Jun 2011 19:37:53 -0700
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=wjhSeettziJhgmvi+Qjwu4AMPDuqxGynuG/0FqpmH/8QSfRkV3Gij7gBRXW8+mYLeu 1JktBmKCN0mMAwddLbTt3f3MYi2MBvDU8td7Ag6ou12SZXwGD/oOqoZHpBkMw1TJm4ag EbRP+UuAxAhR6Gtshc9c8Cs4uN7y8i9QScZPQ=

Thanks indeed. By now, three people have independently sent me a
version of the Coq reference manual with the chapter references done
right. My needs in this regard are satiated.

-- Bob Solovay

On Sat, Jun 25, 2011 at 1:15 PM, Jelle Herold 
<jelle AT defekt.nl>
 wrote:
> 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.
>



Archive powered by MhonArc 2.6.16.

Top of Page