Proof General in Emacs

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
• PGEmacsProblems --- problems and their solutions not (yet) in FAQ.
• PGEmacsInstallHelp -- help with installation on various platforms
• PGEmacsWantedFeatures --- discuss desirable additional features/fixes
• PGEmacsDebuggingTips --- tips on debugging Proof General

Obsolete pages

• PGEmacs37Compatibility --- compatibility tests for 3.7 release of Proof General Emacs.