The Coq mailing list

[Théo Zimmermann <theo.zimmi AT gmail.com>]

Indeed, it would be great to have the Windows installer ship the documentation. The new Python dependencies of the manual should be easier to install on Windows. So far the AppVeyor infrastructure used to build the installer has been very close to timeout and adding the doc to it would be probably too much, but the move to GitLab CI should solve this by allowing longer timeouts.

Best,

Théo

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

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