The 4.0 release of Proof General Emacs provides a front-end based on GNU Emacs.
Please see the main web pages at http://proofgeneral.inf.ed.ac.uk for more details, including supported versions and the distribution FAQ.
Here are some more resources hosted on this Wiki:
PGEmacsUserHints --- user contributed hints, tips and patches for Proof General