Development of Proof General

Please see for the main development page.

New development is centred around a common protocol for interactive proof. Please see:

For the time being development and maintenance of the existing system will continue, although we plan a new version of the Emacs based system which uses the new infrastructure. See NewProofGeneralEmacs. Most features can be ported over (especially if they fit within PGIP facilities), so please do not be put off contributing improvements or fixes! See:

This topic: PG > WebHome > ProofGeneralDevelopment
Topic revision: r1 - 28 Aug 2006 - 16:30:25 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies