TWiki> PG Web>WebHome (revision 7)EditAttach

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

For documentation, manuals and papers, see and

PG Web Utilities

Edit | Attach | Print version | History: r8 < r7 < r6 < r5 < r4 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r7 - 24 Feb 2008 - 18:26:27 - BaseUserMapping _333
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