Merge branch 'master' of github.com:powerist/emacs
Merge branch 'master' of github.com:powerist/emacs
Merge branch 'master' of github.com:powerist/emacs
Move ProofGeneral to .emacs.d