This repo is the new home of Proof-General (http://proofgeneral.inf.ed.ac.uk/ will be updated soon) - View it on GitHub