Contributors to Proof General on Emacs

The original developers were DavidAspinall , Healfdene Goguen, Thomas Kleymann, and Dilip Sequeira. Contributions have been added by many others, especially PierreCourtieu and MakariusWenzel who are responsible for the excellent Coq and Isabelle support respectively.

Please see the Proof General user manual for details of individual authors and contributors.

If you have contributed to Proof General and would like a mention in the user manual, please let DavidAspinall know.

-- DavidAspinall - 20 Aug 2006

This topic: PG > ContactUs > PGEmacsCredits
Topic revision: r1 - 20 Aug 2006 - 15:01:09 - 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