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 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