Clone this repository. Download proof-general in "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz". "tar -xvf" in ".emacs.d/elpa" directory. Run emacs.