ContactUs < PG

PG Web>ContactUs (23 Sep 2006, CatalinHritcu ) (raw view)EditAttach

---++ Contact Us

We can be contacted 
<!-- using [[http://proofgeneral.inf.ed.ac.uk/feedback][this feedback form]]  seems broken! -->
 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@inf.ed.ac.uk

If you would like to stay up-to-date with developments in Proof General, we have 
[[http://proofgeneral.inf.ed.ac.uk/mailinglist][mailing lists]] that you can join.

Proof General was developed at the
[[http://www.lfcs.inf.ed.ac.uk][LFCS]] in the
[[http://www.inf.ed.ac.uk][University of Edinburgh School of Informatics]]
and the
[[http://www.informatik.uni-bremen.de][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 [[http://www.gnu.org/copyleft/gpl.html][GPL]] open source license.



-- Main.DavidAspinall - 20 Aug 2006

Topic revision: r4 - 23 Sep 2006 - 19:10:38 - CatalinHritcu

Copyright © 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