Using Proof General

Most users are using the current ProofGeneralEmacs software. Some useful pages are:

• 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

For people who are using the new PGIP based components, please see here:

• ProofGeneralKit
• PGEclipseUserHints

Please note that the PGIP based software is under active development and not yet ready for large-scale use.