Contact Us

We can be contacted individually using email addresses from the wiki user name links (please remove the word SPAMNOT from that the wiki inserts to prevent spam harvesters).

For support on ProofGeneralEmacs, please use the email address mailto:da+pg-support@infREMOVE_THIS.ed.ac.uk

If you would like to stay up-to-date with developments in Proof General, we have mailing lists that you can join.

Proof General was developed at the LFCS in the University of Edinburgh School of Informatics and the University of Bremen. For individual contributions, see PGEmacsCredits, PGKitCredits.

The Proof General project is managed in Edinburgh by DavidAspinall and in Bremen by ChristophLueth . Note that Proof General and all related materials, are copyright University of Edinburgh/University of Bremen except where otherwise stated. However all software is freely available under the GPL open source license.

-- DavidAspinall - 20 Aug 2006

Topic revision: r4 - 23 Sep 2006 - 19:10:38 - CatalinHritcu
 
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