Welcome to the Proof General Wiki!

This wiki is for collaboration on the use and development of Proof General. To avoid spam, this wiki only allows editing by registered users (register at TWikiRegistration). Please note that upgrading this wiki has resulted in some accounts being removed, please re-register if this has happened to you.

Available Information

Please explore and contribute to make this wiki into an valuable resource for Proof General users and developers.

Please also visit our static web pages at http://proofgeneral.inf.ed.ac.uk/.

For documentation, manuals and papers, see http://proofgeneral.inf.ed.ac.uk/doc and http://proofgeneral.inf.ed.ac.uk/Kit

PG Web Utilities

Topic revision: r8 - 05 Apr 2013 - 15:31:49 - FrankKeller
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