TWiki> PG Web>ContactUs (revision 1)EditAttach

Contact Us

We can be contacted using this feedback form, or individually (find email addresses from the wiki user name links).

If you would like to stay up-to-date with developments in Proof General, we have a mailing list 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

Edit | Attach | Print version | History: r4 < r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r1 - 20 Aug 2006 - 15:06:46 - DavidAspinall
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