coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Where is downloadable Coq documentation?

From: "Ramsdell, John D." <ramsdell AT mitre.org>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Where is downloadable Coq documentation?
Date: Sun, 24 Dec 2017 14:41:11 +0000
Accept-language: en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ramsdell AT mitre.org; spf=None smtp.mailfrom=ramsdell AT mitre.org; spf=None smtp.helo=postmaster AT smtpvmsrv1.mitre.org
Ironport-phdr: 9a23:Z32gxhBLtUKRAUjVwp7CUyQJP3N1i/DPJgcQr6AfoPdwSPT/pcbcNUDSrc9gkEXOFd2Cra4c0qyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUmTaxe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoJNyA3/nzLisJ+j6xUrhOhqABwzYHbe4yVKOFxfqbBcd8GX2dMXMBcXDFBDIOmaIsPCvIMMehEoYbnolsOtgaxCheoBOPr0jNDm3v43ao60+QnDArI0hYsE9wTu3nTttX6LqISUfuow6bWyTXDa+hb2TL86IjUaBAuv+uAXbVqccre0EQiER7OgFuXqYzgJTyV1+INvnCa7+pmT+KvinQopxt/oji1wMonl4rHhpoNx1zZ8Sh13pw5KN2mREJhfNKpFJRduzuHO4Z4Q84uW3xktSIkxrEcpJK2fTQGxI4nyhLCcfCKcIqF7grtVOmPIjp0mHdodbehixux80Ws1+jxWdO33VtKqidIl9fMu38M2hHS78WKROFy80al1DuJygvd8PtLIVoumqreM5MhwqA/lp4UsUnbBS/2nVn2jLeIdkUh4eio8frnbqj8qp+ZNo90lhv+Pbo0lsy4G+Q4PRACX2md+euiyL3u5VD1TbFUgvEskqTVrorWKdkfq6O2GQNZz4gu5henAzejytsYnH0HLFxfeBKAiojkI0vOL+r9DfeknlujjjNrx/TdM73kA5XNMmLDn6n7cbZ68U5cxxI/zcpD6JJMFrEBPPXzV1ftu9zfFx81KhC7w+L6CNpmzY4eQmKOAqqBMKzIq1OI5+QvI/ONZIAPojr9JeIltLbSiipzklgEOKKtwJE/aXaiH/0gLV/TKS7nhc5EGmMXtCI/SvbrgRuMS2gASWy1Wvd23Dg+E46rCYOHDqKqgLrJ8GHxVslMb2VdBl2IFV/tdpmeVrELci3EcZwpqSANSbX0E9xp7hqprgKvk7c=
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

There are times I use Coq without an Internet connection.
Where do I obtain a PDF of the reference manual? It's not
on the release page as suggested by https://coq.inria.fr/documentation.

It also be nice to a PDF of the standard library, and if it's not too much
trouble, HTML versions of the documentation I can cache locally.

John

[Coq-Club] Where is downloadable Coq documentation?, Ramsdell, John D., 12/24/2017
- Re: [Coq-Club] Where is downloadable Coq documentation?, Théo Zimmermann, 12/24/2017
  - Re: [Coq-Club] Where is downloadable Coq documentation?, Vadim Zaliva, 12/24/2017