Add "Quick installation instructions" in the front page.
Add "Quick installation instructions" in the front page.

Source: https://github.com/ProofGeneral/PG/blob/master/README.md

ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io