Skip to Content.
Sympa Menu

coq-club - RE: [Coq-Club] Will there be a pdf manual for 8.8.0?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Will there be a pdf manual for 8.8.0?


Chronological Thread 
  • From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: RE: [Coq-Club] Will there be a pdf manual for 8.8.0?
  • Date: Thu, 10 May 2018 17:33:58 +0000
  • Accept-language: de-DE, en-US
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga11.intel.com
  • Dlp-product: dlpe-windows
  • Dlp-reaction: no-action
  • Dlp-version: 11.0.200.100
  • Ironport-phdr: 9a23:OgPS4Rx7EbKLwG3XCy+O+j09IxM/srCxBDY+r6Qd2uoSIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHolikJKiI5/m/UhMx+jq1boQ6uqBNkzoHOfI2YMOBzcr/Bcd4YQ2dKQ8ZfVzZGAoO5d4YDAfcPPeFGoInyu1sOtxy+BRG0COjyzTFIh2P53a0g3Os/FQHK0hErEtULsHTVsNr1NL0dXv6xzKXS1jXDaO1Z2Tjh6IjSdRAhueqBXbN2ccrN10YvExnJgUmXqYzgJj6Y0PkGvWac7+plT+2vimgnphl+ojiowccshY3JiZwPxl/Y8iV5xZ45Jdy+SE5hYN6rCoFcty+AN4duTcMiQn1ouCYnyrIdo5K0YC8KyJE/yx7ebfyHb5aH4hb5WOmMPzh1gm9udrGnhxuq7EStzvPwWtO03VtKtCZIksfAumoJ2hHd8sSLV/pw80m71TuB2Q3f8P9ILE4wmKbBNpIswaA8moIOvUnCGiL6glv6ga+Ze0k+5OSk8frrb7riq5KaKoR6kBvxMr40lcy6Gek4MhYBX2yc+emk0b3j8lf2TKhXgvEsk6nZtozaKtofpqKjHwBV1YMj5w6+DzegztsYgWEKIE9BdR6ZlYTkO1HDLOr4APuhmVihlDlmy+jDPrL7A5XNKnbDkK3mfbZ480NczQszwsxf551OFL4BJOj/WlT2tNPGAR85Lxa0w+H/CNhm14MeX36PDbGdMK/IrVCI4ecvL/GWZIAJoDb9N+Ql5/n2gHAlnl8dZLCl0ocTaHClBftrOF6ZYHrpgtcZC2gGpAs+TOrwiF2DSzFffXiyX7hvrg08XcitCp6GTYSwipSA2j26F9tYfCoOXluLCDLjc5iOc/YKciObZMF7xG8qT7+kHsUa0hyhqBX90/4vC+vf+iQVsdirgN107O3amBV07jt5ANiH1HmlTmdok2dOTDgzivMs6Xdhw0uOhPAry8dTEsZesqsQA1UKcKXExuk/MOjcHwfIf9OHUlGjG4z0ADctQ9Z3yNgLMR8kR4eSyyvb1i/vOIc70qSRDcVtoKPaw3X1Yc16ziSejfRzvxwdWsJKcFaeqOt/+gzUXtGblkqQzv/sdKIA0SqL/2CGnzKD

Dear Théo,

 

It is ok – the new format is indeed easier to read. Just it would be nice to have an easy way to download it. Or maybe the installer should install the documentation, if it consists out of many files. I sometimes do Coq in places with bad network infrastructure.

 

I can take care of this for Windows.

 

Best regards,

 

Michael

 

From: coq-club-request AT inria.fr [mailto:coq-club-request AT inria.fr] On Behalf Of Théo Zimmermann
Sent: Thursday, May 10, 2018 5:36 PM
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Will there be a pdf manual for 8.8.0?

 

Dear Michael,

There won't be a pdf manual for Coq 8.8.0. If you think it is unfortunate, please open a new issue: so far the lack of clear use cases has not permitted to motivate anyone to work on the additional infrastructure that this would require.

The problem of the wrong mention on the website had indeed been reported a couple times already and should now be fixed.

Thanks,

Théo

 

Le jeu. 10 mai 2018 à 13:49, Soegtrop, Michael <michael.soegtrop AT intel.com> a écrit :

Dear Coq Team,

 

I wonder if there are plans to publish a pdf manual for Coq 8.8.0 and future versions, or if this was dropped in favor of the new documentation format.

 

A note: this page: https://coq.inria.fr/documentation states that a PDF version can be downloaded from the release page https://github.com/coq/coq/releases/tag/V8.8.0 , but this doesn’t seem to be the case.

 

Best regards,

 

Michael

 

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928


Archive powered by MHonArc 2.6.18.

Top of Page