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