coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo.zimmi AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Will there be a pdf manual for 8.8.0?
- Date: Thu, 10 May 2018 15:36:01 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f42.google.com
- Ironport-phdr: 9a23:j37TThLjP2DjMbHz/9mcpTZWNBhigK39O0sv0rFitYgRI/TxwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhygJNzE78G/ZhM9+gr9Frh29vBFw2ZLYbZuPOfZiYq/Qf9UXTndBUMZLUCxBB5uxYZUPD+0bOuZXt4ryp1oLrRu7GwasHubvxSVOhn/wwKY31PghEQHY0wwnBd4PsXXUrNDwNKcTSu21w6zIwi/Cb/NSwzvy9I/IchU4rPyKQLl+f83RyUw1GAPEiFWdsYPlPzSS1uQCt2iU8fBsWv6oi24isw1xoz6vxt0tiobTnI4VxErE+T12wIY0Od24SFN7bsW+HJRMsCGaMpN6QsIkQ2F0pik6zqcKtoOlcyUM1Z8pxAbfZuSZf4SU5h/vTuWcLDdiiH57Zb6yiQy+/Ee+xuD6S8K6ykxFrjBfndnJrn0N1wLc6syASvZl+0euwzeP1wTK5uFaIkA4ibPXK5Auz7IujJYTvkPDHij5mEXykqCabFkr+u+t6+j/Y7XmoIGTN5Nshw3gLqgjntazDOc4PwQUQWSX5Oqx2Kfs8EHnWLlKi+c5kqjdsJDUP8Qboau5DhdJ0oYj9Rm/CC2q0dUZnXkCKVJFeQmKj4fsO17UIfD4Ce2zjEirkDdu3/zGJKHuAo3RLnjfl7fsZapy60lFyAYq0d9f449UBaoaLfLoWk7xscTYAQUjPwy1xebnEtR92ZkEVWKBGK/KeJ/V5FSP/6ckJ/SGTI4Tojf0bfY/tND0inpspV+cep6b3J4SZWq9F/JgaxGFYXfrxMUAFGILlgU7Re3uzlaFVGgAND6JQ6sg62RjW8qdBoDZS9X12e3T7GKABpRTI1t+JBWJGHbseZ+DXq5VOi2XK85l1DcDUOr4EtNz5VSVrAb/joFfAK/M4CRB7MDs0dF046vYkhRgrWUpXfTY6HmESiRPpk1NRzIy2/oi80l0y1PGz6sgxvIET5pc4PRGVgp8PpnZnbR3
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
- [Coq-Club] Will there be a pdf manual for 8.8.0?, Soegtrop, Michael, 05/10/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/10/2018
- RE: [Coq-Club] Will there be a pdf manual for 8.8.0?, Soegtrop, Michael, 05/10/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/10/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Clément Pit-Claudel, 05/11/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/13/2018
- RE: [Coq-Club] Will there be a pdf manual for 8.8.0?, Soegtrop, Michael, 05/14/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/13/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Clément Pit-Claudel, 05/11/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/10/2018
- RE: [Coq-Club] Will there be a pdf manual for 8.8.0?, Soegtrop, Michael, 05/10/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/10/2018
Archive powered by MHonArc 2.6.18.