coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.
>
- [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
- Re: [Coq-Club] Missing chapter headings in the reference manual,
Jelle Herold
Archive powered by MhonArc 2.6.16.