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