PGEmacsCredits < PG

PG Web>ContactUs>PGEmacsCredits (20 Aug 2006, DavidAspinall) (raw view)EditAttach

---++ 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 [[http://proofgeneral.inf.ed.ac.uk/htmlshow.php?title=Proof+General+user+manual&file=releases%2FProofGeneral%2Fdoc%2FProofGeneral_1.html#SEC4][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.

-- Main.DavidAspinall - 20 Aug 2006

Topic revision: r1 - 20 Aug 2006 - 15:01:09 - DavidAspinall

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