The Proof General pages have been moved to http://proofgeneral.inf.ed.ac.uk. You should be redirected automatically in a moment.
Please update your links.
