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:

Obsolete pages

Topic revision: r7 - 11 Aug 2010 - 18:42:42 - 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