Outdated copy of https://github.com/ProofGeneral/PG - View it on GitHub