broken URLs to constants such as nat in the PDF (now disabled)
installation instructions for a specific Coq version
Makefile issues
Any chance for a release on the website to allow referring people an up-to-date version of the book? I'd also recommend putting the website sources in the repository to allow updates via pull requests.
Finally, could I use coq-logo.png in some of my presentation slides?
Here are a few fixes to address:
coqidein_CoqProjectnatin the PDF (now disabled)Any chance for a release on the website to allow referring people an up-to-date version of the book? I'd also recommend putting the website sources in the repository to allow updates via pull requests.
Finally, could I use
coq-logo.pngin some of my presentation slides?