TWiki> PG Web>ProofGeneralEmacs (revision 5)EditAttach

Proof General in Emacs

The current release of Proof General provides a front-end based on XEmacs or GNU Emacs.

Please see the main web pages at for more details, including supported versions and the distribution FAQ.

NEW please check and contribute to PGEmacsVer37Final

Here are some more resources hosted on this Wiki:

Edit | Attach | Print version | History: r7 < r6 < r5 < r4 < r3 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r5 - 03 Jan 2007 - 19:47:57 - 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