Development of Proof General

Please see http://proofgeneral.inf.ed.ac.uk/devel 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:

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