The Coq mailing list

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

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