Welcome to the Proof General Wiki!

This wiki is for collaboration on the use and development of Proof General. To avoid spam, this wiki only allows editing by registered users (register at TWikiRegistration). Please note that upgrading this wiki has resulted in some accounts being removed, please re-register if this has happened to you.

Available Information

• ProofGeneralEmacs
• ProofGeneralEclipse
• ProofGeneralUsage
• ProofGeneralTesting
• ProofGeneralDevelopment
• ProofGeneralKit
• InterfaceConcepts
• PGIP
• WikiToDo

Please explore and contribute to make this wiki into an valuable resource for Proof General users and developers.

Please also visit our static web pages at http://proofgeneral.inf.ed.ac.uk/.

For documentation, manuals and papers, see http://proofgeneral.inf.ed.ac.uk/doc and http://proofgeneral.inf.ed.ac.uk/Kit

PG Web Utilities