coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Where is downloadable Coq documentation?

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Where is downloadable Coq documentation?
Date: Sun, 24 Dec 2017 16:22:48 +0000
Authentication-results: mail2-smtp-roc.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-ua0-f176.google.com
Ironport-phdr: 9a23:F11ZpRX9mo+psNW2wQ1IOq7EmkPV8LGtZVwlr6E/grcLSJyIuqrYYxCFt8tkgFKBZ4jH8fUM07OQ7/i5HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9vIBmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YhMx/jqJVrhyiqRJi3YDbfJqYO+Bicq7HZ94WWXZNU8RXWidcAo28dYwPD+8ZMOhGr4n6vVwOogO9CgmtAePvzyFHhmXz3aIg1eQhFxzN0Qs8H9IOrnvUq8/5NaYTUeCwyanIzC7Ob/xT2Tjn6YjIdgotru2LXbJ1aMfcz1QkGQ3CjlWVs4PlPjWV2/wMs2id9epgVPigh3QpqwFrpDWk28QiipHRi44L1lzJ8T91zYU1KNGiVkJ3fNypHIFNuyyYNoZ7RN4pTXtytyYg0LIGvIa2fCgUx5QjwB7Sc/mHfJKJ4hLnTeqRPC13iG58dLKxmhq/80mtxvfzVsmz11ZKoS5FncfWun8R0BzT79CLSvp7/ki/xTaCzx7f5v1ALEwulqfWK4QtzqAtmpcRq0jPAy37lUTugK+TbEok++yo6+r9YrXho5+RL5N0igHgPaQpgMC+AOU4Mg0LX2ia4um827jj8lf4QLVOlPE5jq7ZsJXCKcQBuqG5GxNV0pok6xunEzim180YkWAbI1JBZRKIlJPkO0rOIfD9FfewmU6gkDZtx/DcP73uGI/BLnbZkOSpQbEo4ElFjQE30Np35pROC7hHLuigdFX2sYnkDp4+BD61xuPqEtB00IVWDX6PD6jfIqLXtF6g6ecmIu3Kb4gQ7mWuY8M57uLj2Cdq0WQWerOkiMMa

That's an overlook on my part when publishing the 8.7.1 release. Now fixed.

It should be possible to generate a PDF of the standard library documentation as well, although it is not something that was done until now. As for an HTML version of the documentation you can cache, I'm not sure exactly what you mean or how to achieve this.

Ideally, I suppose the documentation should just be shipped with all Coq packages.

Cheers,

Théo

Le dim. 24 déc. 2017 à 15:41, Ramsdell, John D. <ramsdell AT mitre.org> a écrit :

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