search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Make download links point to download page instead of GitHub #67

Closed maximedenes closed 6 years ago

maximedenes commented 6 years ago

This follows a suggestion by @Zimmi48.

herbelin commented 6 years ago

It seems to me that "How to get it" has a more general meaning than 8.8.0. It includes previous version, development versions...

(It could even also indicate standard packages distributions which provide it...)

Zimmi48 commented 6 years ago

It seems to me that "How to get it" has a more general meaning than 8.8.0. It includes previous version, development versions...

(It could even also indicate standard packages distributions which provide it...)

Right now this page is already on more than just getting 8.8.0: there is a "Previous and development versions of Coq" section. But I agree that it would be a good idea to document other ways of installing Coq, at least the OPAM way which is the officially recommended way AFAIU on Linux, like in https://github.com/coq/coq#installation. Or, because the other ways are only community-managed and may evolve, we could just add a link from this page to the wiki pages on how to install Coq: https://github.com/coq/coq/wiki/Installation%20of%20Coq%20on%20Linux, https://github.com/coq/coq/wiki/Installation%20of%20Coq%20on%20Windows, https://github.com/coq/coq/wiki/Installation%20of%20Coq%20on%20Mac

maximedenes commented 6 years ago

I agree it would be nice to improve this page, but at least let's merge this meanwhile.