Update instructions to install via opam

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Update instructions to install via opam #104

Closed Lysxia closed 5 years ago

Lysxia commented 5 years ago

Simplify installation instructions (follow up of discussion at #95 and #96)
Clarify opam version requirement (fixes #101)
Move information related to roots and switches to an "Advanced usage" section.
Rename OPAM to opam. https://github.com/ocaml/opam/issues/2645

Lysxia commented 5 years ago

Sorry for the noise, this is now ready for review.

Lysxia commented 5 years ago

I checked that the resulting HTML is well-formed with the W3C validator and integrated the other suggestions.

Zimmi48 commented 5 years ago

Sorry for the delay in merging this. I wanted it to be done by @gares or @mattam82 but since they didn't do it, I will. I consider that I have received an ack by @gares since he commented the PR.

Lysxia commented 5 years ago

No worries. Thanks for the feedback!