coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Will there be a pdf manual for 8.8.0?
Date: Thu, 10 May 2018 11:48:39 +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 mga05.intel.com
Dlp-product: dlpe-windows
Dlp-reaction: no-action
Dlp-version: 11.0.200.100
Ironport-phdr: 9a23:MFXMTRYn0kRHx9uTl76aXfb/LSx+4OfEezUN459isYplN5qZr8uybnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjA57m/Zl9BwgqxYrhKguxNwzJXZb5uJOPd6ZK7RYc8WSXRHU81MVyJBGIS8b44XAuYPIOhYqJfyp1QSrRukAgmsHPvjwSJPiH/3waI60/4uHh/C3AAuAtkDt3HUrNTpO6cSS++60q3IwS/Yb/NRxzj955TIcgomofGURr9wcMzRyVUxGAPBlFmftYvlPzaM2+kLrmOV4e1gVee1hG4mrQF8ujmvxsE2ionInI0Z0F7E9T9hzIY6JN24VE57YcO/H5dKqy6aMI52TtsjQ2FupCY11LkGtYSmcycUzpks2h3Ra+SffoSV5h/vSvydLDd4iX5/eL+zmQy+/Eeux+HkS8W50VhHojBLn9TCrHwByRLe58ydRvdg/UqtxC6D2x3S5+xAO0w4i6rWJpE7zrIujJYfr0vOEyvwlU7rlqGZbF8k9fKt6+n/YrXpuJucN4hshwH7PaQhgNCzDOQiPggPWWib5fqz1Ln58ULlR7VKi+U6kqjfsJ/EOcQWvrO1DgtL3oo56xuyDy2q3dQGkXUdI19IdgqLj43zNFHPJPD4A+2/g1OpkDpzwvDGP6HuApXXIXfdlLftZ61960lCxwo80dBf/ZVUCqkaLfLyXE/xqMLXDhsjPwOoxObnDc1x1pkCVmKXHq+ZLKTSvEeU6eIoOumAfZMauDLgK/c+/PPuln84mVoFfaazx5cXaXa4Hu5nI0qDe3bsjM0BQi82uV90R+vzzVaGTDR7ZnCoXqt66CtxQNatCp6GTYSwipSA2j26F9tYfDYVJEqLFCKiTIKJVOsWbzrWaupgmTwNWLzrA9sk1BquvQL+jaFgI+XI4CoAnZPlyNVxoebUkEdhpnRPE82B3jTVHClPlWQSSmpuhfEtkQlG0l6GlJNArbldHN1X6elOV15jZ5/a0+F+Tdv1X1CYJ4vbeBOdWtyjRAoJYJcp2dZXOhR8HcmvilbI2C/4W+ZIxYzOP4Q99+fn51a0J8t5zC+ZhqwuhgF7BMpJKWCiwKV48lqLCg==

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